Premise: Analysis of multiple types

Hypothesis: Analysis of a single type
Relation: contradiction