Premise: goodness and all of them were in the house

Hypothesis: None of them were in the house.
Relation: contradiction