一个题目……

偶算出来的是：德国人
不知道对否？


开头是推理的，后来就变成分支搜索了，数学不行啊～

结果：

  １　英国人住在红房子里
　　２　瑞典人养了一条狗
　　３　丹麦人喝茶
　　４　绿房子在白房子左边
　　５　绿房子主人喝咖啡
　　６　抽ＰＡＬＬ　ＭＡＬＬ烟的人养了一只鸟
　　７　黄房子主人抽ＤＵＮＨＩＬＬ烟
　　８　住在中间那间房子的人喝牛奶
　　９　挪威人住第一间房子
１０　抽混合烟的人住在养猫人的旁边
１１　养马人住在抽ＤＵＮＨＩＬＬ烟的人旁边
１２　抽ＢＬＵＥ　ＭＡＳＴＥＲ烟的人喝啤酒
１３　德国人抽ＰＲＩＮＣＥ烟
１４　挪威人住在蓝房子旁边
１５　抽混合烟的人的邻居喝矿泉水

推理结果(中间结果)：
房子            房子1          房子2          房子3          房子4          房子5
颜色            黄色            蓝色            红色            绿色            白色
主人            挪威人                          英国人
宠物                            马
饮料                                            牛奶            咖啡
香烟            DUNHILL烟


未用条件：
　２　瑞典人养了一条狗
a　３　丹麦人喝茶
a　６　抽PALL MALL烟的人养了一只鸟
a１０　抽混合烟的人住在养猫人的旁边
a１２　抽BLUE MASTER烟的人喝啤酒
a１３　德国人抽PRINCE烟
a１５　抽混合烟的人的邻居喝矿泉水

分支1(错误!)：
房子            房子1          房子2          房子3          房子4          房子5
颜色            黄色            蓝色            红色            绿色            白色
主人            挪威人                          英国人          瑞典人          丹麦人
宠物                            马                              狗
饮料                            啤酒            牛奶            咖啡            茶
香烟            DUNHILL烟      BLUE MASTER烟


分支2(通过!)：
房子            房子1          房子2          房子3          房子4          房子5
颜色            黄色            蓝色            红色            绿色            白色
主人            挪威人          丹麦人          英国人          德国人          瑞典人
宠物            猫              马              鸟                              狗
饮料            矿泉水          茶              牛奶            咖啡            啤酒
香烟            DUNHILL烟      混合烟          PALL MALL烟    PRINCE烟        BLUE MASTER烟