① <A이면 C. B이면 C> <A 또는 B> <그러므로 C>, ② <A이면 B. A이면 C> <B는 아니다. 또한 C는 아니다> <그러므로 A는 아니다>,③ <A이면 B. C이면 D> <A 또는 C> <그러므로 B나 D>,④ <A이면 B. C이면 D> <B는 아니다. 또한 D는 아니다> <그러므로 A는 아니다. 또한 C는 아니다>.