逻辑推理-爱因斯坦之谜用Excel表格推导过程

今天在网上逛的时候发现一个有趣的逻辑推理题目-爱因斯坦之谜。题目的描述如下：

"在一条街上有颜色互不相同的五栋房子，不同国籍的人分别住在这五栋房子力，每人抽不同品牌的香烟，喝不同的饮料，养不同的宠物。已知如下情况：

1.  英国人住红色房子里。

2.  瑞典人养狗。

3.  丹麦人喝茶。

4.  绿色房子坐落在白色房子的左面。

5.  绿色房子的主人喝咖啡。

6.  抽Pall Mall香烟的人养鸟。

7.  黄色房子的主人抽Dunhill香烟。

8.  挪威人住第一间房子。

9.  五座房子中间的那座的主人喝牛奶。

10. 抽Blends香烟的住在养猫人的隔壁。

11. 养马的人住在抽Dunhill香烟者的隔壁。

12. 抽Blue Master香烟的喝啤酒。

13. 德国人抽Prince香烟。

14. 挪威人住的房子在蓝色房子的隔壁。

15. 抽Blends香烟的人有一个喝水的邻居。

问：谁养鱼？ "

该题目的详细英文描述在维基百科上 http://en.wikipedia.org/wiki/Zebra_Puzzle
很明显这个题目是根据已知信息和规则进行一步一步的推断，最后得出结论
问题推导过程中需要记忆的信息比较多，找excel来记录，先在excel上画出空表格如下:
   

 

每一步推导过程中把当前步骤的最新结论用红色表示，

 

第一步
    根据规则8和9推出

 

第二步

   根据规则14推出

 

第三步 

   根据规则4和5推出

 
第四步

  根据规则1和7推出

 
 第五步

   根据规则11推出

 
 第六步

   根据规则3推出丹麦人只能住第二间或第五间

 

第七步

    根据第六步，假设丹麦人住第二间,则根据12条，推出第五间喝啤酒抽Blue Master，剩下的饮料水由挪威人喝

 

 第八步

      根据规则15 第二间抽Blends香烟,根据第13条第四间住德国人,又剩下的香烟Pall Mall由住第三间的人抽

 

 第九步

    根据规则6和规则10 推出

 

第十步 

  瑞典人只能住剩下第五间，又根据规则2推出

 

第十步完成后，答案已经揭晓：德国人养鱼

 

在推导过程中第七步的时候假设丹麦人住第二间，假设丹麦人住第五间会如何？

第十一步：

   根据第六步，假设丹麦人住第五间,根据规则2，瑞典人住第四间,剩下的德国人住第二间，再根据规则13推出

 

 

第十二步 

    根据第十一步，剩下喝啤酒的人只能在住第一间或第二间，但是第一间和第二间抽烟和第12条矛盾，所以第十一步的假设不成立，丹麦人只能住第二间

 

用表格推理的过程已经完成，作为一个程序员接下来该做的事情是写一个算法来推导