Premise:  That's OK.
Hypothesis: That's not OK.
Label: contradiction