Загадка Эйнштейна

斑马拼图 - 著名的逻辑问题，相传他的童年期间成立由阿尔伯特·爱因斯坦。此外，还有一种看法认为它是用来测试爱因斯坦候选人助理逻辑思维的能力。有时被称为刘易斯·卡罗尔拼图的作者。然而，没有任何证据表明，问题就来了爱因斯坦和卡罗尔。 （根据维基百科）

在一般情况下，条件是：

大街上有几栋房子，每一个不同的颜色，它们是不同国籍的人，不同的生活习惯，宠物等。还提供知道关于房屋的居民的事实清单。你需要的基础上，逻辑判断谁住在什么房子，什么，什么宠物等。

该方案可以让你尝试一下解决这类问题。