Premise: That's OK.

Hypothesis: That is definitely forbidden.
Relation: contradiction