Premise: She's not in this house, for instance?

Hypothesis: She is inside, for instance. 
Relation: contradiction