Premise: if that if so

Hypothesis: I know for a fact that that's not true.
Relation: contradiction