F高中的奈睛可能是全校最喜歡吃棒棒糖的女孩，幾乎每天都有人看到她叼著棒棒糖出現在校園各處——有去食堂，有去圖書館，也有回宿舍。她本人也不迴避這個愛好，還用糖少女為筆名在某小說網站上發表作品。
已知:
1）奈晴周一、周三不吃棉花糖
2）如果奈晴當天吃棉花糖，則不吃奶糖
3）除非奈晴穿裙子，否則不吃QQ糖
4）除非奈晴不吃奶糖，否則不穿裙子
5）如果奈晴當天哭了，就一定吃棉花糖
若上述結論為真，則下列中不能推出:
【O省迷案 136】——程序員之死
家住S市的侯養洙是個很無聊的程序員。他工作之餘喜歡編寫亂七八糟的程序軟體，比如無腦選擇題（e.g.下列是鳥類的是: A.燕子 B.大象/過年長輩通常給晚輩什麼？A.一巴掌 B.壓歲錢 諸如此類）。
這一天，侯養洙在地鐵上遇刺，兇手趁地鐵到濱湖大廈站時下手，用水杯猛擊侯養洙的頭部，然後逃出地鐵。由於人流量太大，保安追上去的時候兇手已經消失了。為了不擴大危險性，地鐵站被緊急封閉，與此同時武警趕到現場協助緝兇，醫護人員抵達現場后直接宣告侯養洙因顱腦損傷死亡。經過監控視頻追蹤，警方發現兇手作案后躲在男衛生間中就沒出來。經過搜查，洗手間內人員已經被清空，但有一套血衣和鞋子與一個手提包，地上還有他作案時戴著的蓋伊福克斯面具和水杯，說明兇手已經換裝。死者生前還在出題，手機上最後顯示的是——打麻將需要幾個人？A.250個人 B.4（沒寫完）。
經過調查，一共有5名與嫌犯身材相近且在濱湖大廈站下車的人員，由於警方沒有公布姓名，暫以甲乙丙丁戊代替。
甲，33歲，身著襯衫打領帶，下身穿西褲皮鞋。職業是一名職業作曲家，去工作室上班。煙癮很大，喜歡喝酒，經常吹牛。
乙，29歲，身著T恤，下身穿牛仔褲運動鞋，牛仔褲上有噴濺狀血跡。職業是公司職員，也是去上班。經常逃票，被罰款多次屢教不改。
丙，35歲，穿皮夾克，下身穿運動褲和拖鞋，鞋底有血跡打扮很不著調。自稱從事市場運營商，但經過調查實際已經被開除，目前無業。
丁，31歲，穿著印有杜芬舒斯博士圖案的T恤，典型大反派氣場，下身是運動褲運動鞋，褲子上有滴落狀血跡。目前在咖啡廳煮咖啡，還從事網約車工作。有過尋釁滋事和盜竊前科。
戊，30歲，戴金邊眼鏡，穿白襯衫黑西褲，棕色皮鞋，鞋面有血跡。沒戴領帶。曾攻讀計算機學位但成績太差被開除。目前在花鳥市場賣貓，還從事電工。
警方仔細分析五個人的身份、著裝等信息，終於認定其中一人有重大嫌疑。他是誰？
