Premise: For example,

Hypothesis: There is no example.
Relation: contradiction