Premise:  That's OK.

Hypothesis: That's not OK.
Relation: contradiction