Premise:  Then he ran.
Hypothesis: He walked.
Label: contradiction