Premise: They're Here

Hypothesis: they are not here
Relation: contradiction