Premise: The validity
Hypothesis: Valid 
Label: entailment