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

Загадка Эйнштейна — известная логическая задача, по легенде созданная Альбертом Эйнштейном в годы его детства. Также бытует мнение, что она использовалась Эйнштейном для проверки кандидатов в ассистенты на способность к логическому мышлению. Иногда автором головоломки называют Льюиса Кэрролла. Тем не менее, нет никаких доказательств того, что задачу придумал Эйнштейн или Кэрролл. (По материалам Википедии)

В общем случае условие таково:
На улице стоят несколько домов, каждый из них окрашен в свой цвет, в них живут люди разных национальностей, имеющих разные привычки, домашних животных и так далее. Кроме того приводится список фактов известных об обитателях домов. Вам требуется, опираясь на логику, определить, кто в каком доме живет, чем занимается, какое домашнее животное и так далее.

Предлагаемая программа позволяет вам попробовать свои силы в решении таких задач.