Premise: exactly right that's true

Hypothesis: No, that is false.
Relation: contradiction