一道邏輯推理

甲開(kāi)始有5個(gè)蘋(píng)果,乙有6個(gè),丙有4個(gè),丁有7個(gè)。丁說(shuō)了真話，甲乙丙都說(shuō)了假話。
推理：假設(shè)4人均說(shuō)了真話，則數(shù)量在3-6之間，但丁說(shuō)丙現(xiàn)在手中的蘋(píng)果不足3個(gè)，則丁說(shuō)假話，故假設(shè)不成立，所以必定有人手中的蘋(píng)果不足3個(gè)，推出丁說(shuō)了真話。
丁說(shuō)丙手中的蘋(píng)果不足3個(gè)，比最小數(shù)4少2，推出丙說(shuō)了假話和丙原來(lái)有4個(gè)。
丁說(shuō)Anni吃了2個(gè)蘋(píng)果，Anni不是丙，是甲乙之一且說(shuō)了假話。丙說(shuō)了假話，所以丙和庫(kù)拉吃了4個(gè)蘋(píng)果，庫(kù)拉吃了2個(gè)說(shuō)了假話。庫(kù)拉是甲乙之一。推出Anni和庫(kù)拉是甲乙且均說(shuō)假話。
乙說(shuō)假話，乙說(shuō)甲現(xiàn)在有4個(gè)蘋(píng)果，所以甲只能剩3個(gè)或5個(gè)蘋(píng)果。當(dāng)甲剩5個(gè)蘋(píng)果時(shí)，丁剩4或3個(gè)均與題干矛盾，所以推出甲剩3個(gè)。
乙沒(méi)得選擇，只能剩4個(gè)。
丁說(shuō)了真話，也沒(méi)得選擇，只能剩6個(gè)。
甲原來(lái)有3+2=5，乙4+2=6，丙2+2=4，丁6+1=7。