Premise: sure at least one

Hypothesis: Minimum of one of course.
Relation: entailment