Premise: which there are none down here

Hypothesis: They don't have any here.
Relation: entailment