That he was not in the house last night.
There is proof that he was at the house last night.
mnli hypothesis: There is proof that he was at the house last night. premise: That he was not in the house last night.