Premise: Definitions.

Hypothesis: No definitions. 
Relation: contradiction