Premise: Those are our terms.

Hypothesis: We have no conditions.
Relation: contradiction