Premise: Then he looked up.
Hypothesis: He looked down. 
Label: contradiction