Premise: That's Dr. Bauerstein," said John shortly.
Hypothesis: John said that was Dr. Suess. 
Label: contradiction