怎么把这个问题用程序简洁地抽象

案件分析：


某地刑侦大队涉及六个嫌疑人的一桩疑案进行分析：
A、B至少有一人参与该案件；
A、D不可能是同案犯；
A、E、F三人中有两人参与该案件；
B、C或同时参与，或与本案无关；
C、D中有且仅有一人参与该案件；
如果D没有参与该案件，则E也不可能参与。
试编写一程序，将犯罪嫌疑人找出来。


如何抽象的简洁？大家给给方案看