Premise: That is true.
Hypothesis: It wasn't true. 
Label: contradiction