It's just the contrapositive. All the others are spurious. I do still like this sort of logic.