Premise: That he was not in the house last night.

Hypothesis: There is proof that he was at the house last night.
Relation: contradiction