SNAP Mock 2 - Analytical & Logical Reasoning (Q60 [Logical Deduction]):
If no A is B and all B are C, then some C are not A.