Premise: you know they can't

Hypothesis: They are allowed to do that.
Relation: contradiction