Premise: That is true.

Hypothesis: It wasn't true. 
Relation: contradiction