Premise: that is correct

Hypothesis: That's wrong. 
Relation: contradiction