Text: That's Dr. Bauerstein," said John shortly.
Entailment: John said that it was Dr. Bauerstein.
Contradiction: John said that was Dr. Suess.