Premise: well there are all different kinds there

Hypothesis: Just one kind there
Relation: contradiction