Text: But it is not an ordinary quiz, it is one where I thank Chris Kelly and Tim Carvell for taking time away from whatever it is they do (I've written it down someplace, but you know how it is when you're just back from vacation; everything is at sixes and sevens.)
Entailment: I said thank you to Chris Kelly.
Contradiction: I didn't mention Chris Kelly.