Premise: He had to go.
Hypothesis: It was necessary that the man go. 
Label: entailment