Premise: The first type of
Hypothesis: The last kind. 
Label: contradiction