Premise: Some crystal ball.

Hypothesis: No crystal ball of the set of crystal balls.
Relation: contradiction