Premise: that is correct
Hypothesis: That's wrong. 
Label: contradiction