Premise: That's what they've done.

Hypothesis: They haven't done that.
Relation: contradiction