Premise: Or two known defectors.

Hypothesis: There are no defectors.
Relation: contradiction