Text: That he was not in the house last night.
Entailment: He was not at the house last night.
Contradiction: There is proof that he was at the house last night.