沒有解答的推理（２）能用電腦解嗎？ - 拼圖

※ 引述《pikacha (小億)》之銘言：
: 話說帕索大學新任校長想組個"發展委員會"
: 他打算從８位系主任中，選出４位來當委員
: 在調查他們的想法之後，才發覺派系問題嚴重．．．
: 以下是８位教授的意見：
: 萬：誰當委員我都不在乎！
: 丘：要有白教授，不然我不參加！
: 白：我不要和張教授共事！
: 張：只要有顏教授同意，我就參加！
: 賴：我和其他人都處得來，沒問題。
: 江：有張教授的話，我希望簡教授也參加。
: 　　有白教授的話，我希望張教授也參加！不然我不參加！
: 簡：我不要丘教授和白教授一同當委員，相信您聽過"一丘白貉"
: 　　另外我也不想和賴教授及萬教授其中一人共事，他們都沒主見！
: 顏：要有丘教授或江教授其中一人，不然我不參加，如果有白教授，我希望要有簡教授。
: 　　但是如果白教授和萬教授都是委員，我絕對不參加！
: 原題是問，能否找出４位教授，合乎８位教授的要求？
: 我想改一下：C(8,4)=70.是否有超過１種以上的組合可行？可以用電腦找嗎？？？
: 答案防雷，我目前是找出２組，其中１組可算完全符合８位教授的要求～
: 答：江／張／顏／簡
: 　　萬／賴／丘／白　這個答案，不太符合顏教授希望"有白，要有簡"的要求！
: 不過找出這麼兩組完全不同組合的答案．．．也難怪校長頭大！！！

萬 丘 白 賴
萬 丘 白 江
萬 白 賴 江
丘 白 賴 江
丘 白 賴 顏
白 江 簡 顏這組不行
白 賴 江 顏

我大概找出這7組組合 理論上應該都符合條件

--
教主: 主是唯一的真神 其它的都是騙人的惡魔
我們要消滅主的敵人 要殺死不信主的人
教徒: 殺!殺!殺!殺!殺!殺!殺!
路人: 神經病

--