Premise: well there are all different kinds there

Hypothesis: There are different kinds there
Relation: entailment