Premise: no they haven't

Hypothesis: They have absolutely done it.
Relation: contradiction