Premise: john saw no student.

Hypothesis: john saw no tall student.
Label: entailment