Premise: Long enough.

Hypothesis: Sufficiently long.
Relation: entailment