Premise: They are coming.
Hypothesis: They are not coming. 
Label: contradiction