Premise: are they doing it

Hypothesis: They're not doing that
Relation: contradiction