Premise: Had she run upstairs again?

Hypothesis: She's not upstairs, is she?
Relation: contradiction