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

Zebra Puzzle - conhecida problema de lógica, segundo a lenda, fundada por Albert Einstein durante sua infância. Além disso, há uma percepção de que ele foi usado para testar Einstein candidatos assistentes a capacidade de pensar logicamente. Às vezes, o autor do quebra-cabeça chamado Lewis Carroll. No entanto, não há nenhuma evidência de que o problema surgiu com Einstein ou Carroll. (De acordo com a Wikipedia)

No caso geral, a condição é:
Na rua há várias casas, cada uma de uma cor diferente, eles são pessoas de diferentes nacionalidades, com diferentes hábitos, animais de estimação, e assim por diante. Também fornece uma lista de fatos conhecidos sobre os habitantes das casas. Você precisa, com base na lógica para determinar que vive em casa o que, o que, o animal de estimação e assim por diante.

O programa proposto permite que você tentar sua mão em resolver tais problemas.