Premise: Maybe Doc Matthews ain't here, after all.
Hypothesis: Doc Matthews is right here. 
Label: contradiction