Premise: The validity

Hypothesis: Valid 
Relation: entailment