求逻辑学题目推理过程？

结合3.5，可知bc不是凶手
再由4知a不是凶手
再由1知d是凶手
再由2知de是凶手

由(3)，如果b是凶手推出c是凶手，根据否后必否前
∴如果c不是凶手推出b不是凶手
由(5)可知，c不是凶手
∴b不是凶手成立
由(4)推出a不是凶手
由(1)可知a，d两人中至少有一人是凶手
∴d是凶手
由(2)e是凶手成立
∴d和e是凶手