Text: Or two known defectors.
Entailment: Or both admitted traitors.
Contradiction: There are no defectors.