Загадка эйнштейна, а может быть и кэрролла на новый лад ;-) решение логических задач табличным способом

Итак, загадка Эйнштейна:

  • На улице стоят пять домов. 
  • Англичанин живёт в красном доме. 
  • У испанца есть собака. 
  • В зелёном доме пьют кофе. 
  • Украинец пьёт чай. 
  • Зелёный дом стоит сразу справа от белого дома. 
  • Тот, кто курит Old Gold, разводит улиток. 
  • В жёлтом доме курят Kool. 
  • В центральном доме пьют молоко. 
  • Норвежец живёт в первом доме. 
  • Сосед того, кто курит Chesterfield, держит лису. 
  • В доме по соседству с тем, в котором держат лошадь, курят Kool. 
  • Тот, кто курит Lucky Strike, пьёт апельсиновый сок. 
  • Японец курит Parliament. 
  • Норвежец живёт рядом с синим домом. 

Вопрос: Кто пьёт воду? Кто держит зебру? 

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

Существует множество различных вариантов этой задачи. В некоторых из них первое оригинальное условие оговаривается отдельно или подразумевается неявно, а вместо него вводится другое, зачастую облегчающее решение задачи. Вместо двух вопросов нередко оставляют один, например, «Кто разводит рыбок?». Иногда вместо марок сигарет указывают средства передвижения или названия растений. Меняются и национальности пяти упоминающихся людей. Например, весьма распространённым в Интернете вариантом является следующий: