Premise: Can sort shapes into categories.

Hypothesis: Impossible to sort shapes.
Relation: contradiction