Premise: which there are none down here

Hypothesis: There are plenty down here.
Relation: contradiction