Premise: Then they disappeared.
Hypothesis: They never left. 
Label: contradiction