Premise: He had to go.
Hypothesis: He did not have to go. 
Label: contradiction