2.c有罪，D的證言正確；
3.如果丁的證詞是正確的，那麽乙就是兇手。
1)，從2可以推斷出4 C有罪(聯合推理的分解)；(5)丁的證言是正確的(分解聯合推理)；
2)、從(3)和(5)可以推斷(6) B是兇手(充分條件假設三段論推理肯定了前因)；
3)、從(1)和(4)可以推斷A和B都不是殺人犯(充分條件假設三段論推理否定了後者)，這個否定判斷的等價判斷是:(7)要麽A不是殺人犯，要麽B不是殺人犯。
4)從(7)和(6)可以推斷(8) A不是兇手(選擇性推理的否定肯定形式)；
5)從(6)和(8)可以看出，B是殺人犯，A不是殺人犯。