Premise: Precisely.

Hypothesis: Unsure.
Relation: contradiction