Premise: Why are they here?

Hypothesis: Why aren't they here yet?
Relation: contradiction