Premise: The validity
Hypothesis: Invalid 
Label: contradiction