Premise: right that's that's right

Hypothesis: that is wrong
Relation: contradiction