Premise: She's not in this house, for instance?
Hypothesis: She is inside, for instance. 
Label: contradiction