Premise: but their not that's true

Hypothesis: They are.
Relation: contradiction