Premise: That is true.

Hypothesis: That is false.
Relation: contradiction