Premise: Definitions.
Hypothesis: No definitions. 
Label: contradiction