Text: He had to go.
Entailment: It was necessary that the man go.
Contradiction: He did not have to go.