爱因斯坦出的那道测试题

爱因斯坦出的那道测试题
有数学建模牛人可以帮忙用数学建模解决下爱因斯坦的那道题吗~
前提：
1 有五栋五种颜色的房子
2 每一位房子的主人国籍都不同
3 这五个人每人只喝一种饮料,只抽一种牌子的香烟,只养一种宠物
4 没有人有相同的宠物,抽相同牌子的香烟,喝相同的饮料
提示：
1、 英国人住在红房子里
2 、瑞典人养了一条狗
3 、丹麦人喝茶
4 、绿房子在白房子左边
5 、绿房子主人喝咖啡
6 、抽PALL MALL烟的人养了一只鸟
7 、黄房子主人抽DUNHILL烟
8 、住在中间那间房子的人喝牛奶
9 、挪威人住第一间房子
10 、抽混合烟的人住在养猫人的旁边
11 、养马人住在DUNHILL烟的人旁边
12 、抽BLUE MASTER烟的人喝啤酒
13、 德国人抽PRINCE烟
14 、挪威人住在蓝房子旁边
15 、抽混合烟的人的邻居喝矿泉水
谁养鱼?

挪威人养鱼
我不懂数学建模.
我的方法是,5个房子,5种条件（国籍,颜色,抽烟,饮料,宠物）
画出25个方框（5*5） 从上到下依次是国籍,颜色,抽烟,饮料,宠物,从左到右编号(1-5)
然后逐个条件一遍遍推算,先把明朗的条件填进对应的栏,第一遍完再从头推算第2遍,把无用的条件划掉（譬如第1遍完,第9条就可以删掉）
貌似是第4遍吧,当推算到4,5号房子都可能是瑞典人养狗,2,5号房子都可能是丹麦人,喝茶（第3遍可以推算出2号房子是蓝色,养马） 3,4,5号房子都可能抽PALL烟,养鸟.而1号挪威人抽D烟,2号房子养马,根据第10条抽混合烟的住养猫的旁边,也就是说养猫的也住3,4,5其中一间.综合起来就是养猫,狗,鸟的都在3,4,5里面,2号是养马的,那肯定就是1号养鱼了.
1号就是挪威人
不需要全部推算出来的