Premise: that's true they do

Hypothesis: no, i don't think that they do that
Relation: contradiction