Premise: exactly sure

Hypothesis: I think not.
Relation: contradiction