a cat decided to exact revenge on a dog that had chased it up a tree.

[5jj]

That was a mistake. It should have read:


Our knowledge of cats, dogs and squirrels tells us that in both (a) and (b) the cat squirrel went up the tree: that in (a) the cat almost certainly went up the tree; and that in (b) the dog did not go up the tree.