python枚举法实战之谁是嫌疑犯

问题描述：有6名犯罪嫌疑人A、B、C、D、E、F，已知如下事实：
A、B至少有1人作案；
A、E、F三人中至少有2人参与作案；
A、D不可能是同案犯；
B、C或同时作案，或与本案无关；
C、D中有且仅有1人作案；
如果D没有参与作案，则E也不可能参与作案。请推理出谁作了案。

下面是人工逻辑推理：假设1：A参与作案，则
B可能参与作案（A、B至少有1人作案）；
E、F至少有1人参与作案（A、E、F三人中至少有2人参与作案）；
D未参与作案（A、D不可能是同案犯）；
C参与作案（C、D中有且仅有1人作案）；
B参与作案（B、C或同时作案，或与本案无关）；
E未参与作案（如果D没有参与作案，则E也不可能参与作案）；
F参与作案（A、E、F三人中至少有2人参与作案），结果：A、B、C、F参与作案，D、E未参与作案。

假设2：A未参与作案，则
B参与作案（A、B至少有1人作案）；
E、F参与作案（A、E、F三人中至少有2人参与作案）；
C参与作案（B、C或同时作案，或与本案无关）；
D未参与作案（C、D中有且仅有1人作案）；
E未参与作案（如果D没有参与作案，则E也不可能参与作案）；
E既参与作案又未参与作案，出现矛盾，假设不成立；

下面是用Python处理的解题思路：用枚举法遍历所有可能出现的罪犯组合，挑选出符合条件的。