Premise: And they're not.
Hypothesis: They are 
Label: contradiction