C 는 유죄이고 d 의 증언은 정확합니다.
3. 만약 딩의 증언이 정확하다면 을은 살인자다.
1), 2 에서 4 C 유죄 (합동추리의 분해) 를 추론할 수 있습니다. (5) 딩의 증언은 정확하다 (합동추리 분해).
2), (3) 과 (5) 에서 (6) B 가 살인자라고 추론할 수 있다
3), (1) 와 (4) 에서 A 와 B 가 모두 살인자가 아니라고 추론할 수 있다. (3 단 추리가 후자를 부정한다고 충분히 조건부한다.) 이 부정판단의 동등한 판단은 (7) A 가 살인자가 아니거나 B 가 살인자가 아니라는 것이다.
4) (7) 과 (6) 에서 (8) A 가 살인자가 아니라고 추론할 수 있다 (선택적 추리의 부정긍정 형식).
5) (6) 과 (8) 에서 볼 수 있듯이 b 는 살인자이고 a 는 살인자가 아니다.