Premise: Many of them with.

Hypothesis: None of them with.
Relation: contradiction