Premise: That is so.
Hypothesis: It is not so. 
Label: contradiction