That he was not in the house last night.
He had an alibi that shaid he wasn't at the house last night.
mnli hypothesis: He had an alibi that shaid he wasn't at the house last night. premise: That he was not in the house last night.