Решение логической задачи о домах

У испанца есть собака. В зелёном доме пьют кофе. Украинец

пьёт чай. Зелёный дом стоит сразу справа от белого дома. Тот, кто курит Old Gold, разводит улиток.
В жёлтом доме курят Kool. В центральном доме пьют молоко. Норвежец живёт в первом доме. Сосед того, кто курит Chesterfield, держит лису. В доме по соседству с тем, в котором держат лошадь, курят Kool. Тот, кто курит Lucky Strike, пьёт апельсиновый сок. Японец курит Parliament. Норвежец живёт рядом с синим домом. Кто пьёт воду? Кто держит зебру?
 
1 этап. Выделяем все постоянные данные:
Пять домов,
Каждом дому будет соответствовать пять неповторимых параметров – цвет, национальность хозяина, употребляемый напиток, марка сигарет, домашнее животное,
Дома располагаются в определенном порядке,
Относительно порядка домов мы знаем что: в центральном доме-пьют молоко, в первом доме-норвежец, рядом с норвежцем-синий дом
Есть устойчивый набор качеств: англичанин-красный дом, испанец-собака, зеленый дом-кофе, украинец-чай, Old Gold-чай, желтый дом- Kool

какие нет
Желтый
Kool
Испанец
собака
Old Gold
улитки
Красный
англичанин
норвежец
синий
молоко
Украинец чай
Lucky Strike, апельсиновый сок
Зеленый кофе
Японец

Parliament

Old Gold
улитки

Зеленый
кофе

Lucky Strike, апельсиновый сок

Украинец
чай

Желтый
Kool

Old Gold
улитки

Японец Parliament

Испанец
собака

Желтый Kool

Японец Parliament

Красный
англичанин

Испанец
собака

Old Gold
улитки

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Желтый Kool

Японец Parliament

Красный
англичанин

Испанец
собака

зеленый дом стоит сразу справа от белого,
- сосед курильщика Chesterfield

держит лису,
- Сосед курильщика Kool держит лошадь

Желтый
Kool

Испанец
собака

Old Gold
улитки

Красный
англичанин

норвежец

синий

молоко

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Японец Parliament

Японец Parliament

Old Gold
улитки

Зеленый
кофе

Lucky Strike, апельсиновый сок

Украинец
чай

Желтый
Kool

Old Gold
улитки

Японец Parliament

Испанец
собака

Желтый Kool

Японец Parliament

Красный
англичанин

Испанец
собака

Old Gold
улитки

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Желтый Kool

Японец Parliament

Красный
англичанин

Испанец
собака

зеленый дом стоит сразу справа от белого. Следовательно первый дом,

ни белый ,ни синий , ни красный и не зеленый. Следовательно он может быть только желтым.
- сосед курильщика Chesterfield держит лису,
Сосед курильщика Kool держит лошадь

Испанец
собака

Old Gold
улитки

Красный
англичанин

синий

молоко

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Японец Parliament

Lucky Strike, апельсиновый сок

Украинец
чай

Old Gold
улитки

Японец Parliament

Испанец
собака

Японец Parliament

Красный
англичанин

Испанец
собака

Old Gold
улитки

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Японец Parliament

Красный
англичанин

Испанец
собака

Kool

норвежец

желтый

и переменных
- зеленый дом стоит сразу справа от белого,
-

сосед курильщика Chesterfield держит лису,
Сосед курильщика Kool держит лошадь.
Предположим, что он японец

Old Gold
улитки

Красный
англичанин

Kool

Лиса/зебра

норвежец

желтый

Parliament

лошадь

японец

синий

молоко

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Old Gold
улитки

Испанец
собака

Красный
англичанин

Испанец
собака

Old Gold
улитки

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Красный
англичанин

Испанец
собака

Японец Parliament

и переменных
- зеленый дом стоит сразу справа от белого,

следовательно трений дом не зеленый, а красный или белый. Предположим, что он красный.
Тогда его животное не лошадь и не собака,
- сосед курильщика Chesterfield держит лису,

Желтый
Kool

Old Gold
улитки

Красный
англичанин

Kool

Лиса/зебра

норвежец

желтый

Parliament

лошадь

вода

японец

синий

молоко

англичание

красный

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Японец Parliament

Испанец
собака

Old Gold
улитки

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Испанец
собака

Old Gold
улитки

и переменных
- зеленый дом стоит сразу справа от белого,

следовательно трений дом не зеленый, а красный или белый. Предположим, что он красный.
Тогда его животное не лошадь и не собака,
Предположим, что это улитка, тогда
- сосед курильщика Chesterfield держит лису,

Желтый
Kool

Old Gold
улитки

Красный
англичанин

Kool

Лиса/зебра

норвежец

желтый

Parliament

лошадь

вода

японец

синий

Old Gold

улитка

молоко

англичание

красный

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Японец Parliament

Испанец
собака

Old Gold
улитки

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Испанец
собака

Old Gold
улитки

и переменных
зеленый дом стоит сразу справа от белого. Если наши

предыдущие предположения верны, то четвертый дом может быть только зеленым и живет там испанец с собакой и курит Chesterfield

- сосед курильщика Chesterfield держит лису,
- Сосед курильщика Kool держит лошадь

собака

испанец

зеленый

Chesterfield

Желтый
Kool

Красный
англичанин

Kool

Лиса/зебра

норвежец

желтый

Parliament

лошадь

вода

японец

синий

кофе

Old Gold

улитка

молоко

англичание

красный

Зеленый кофе

Японец Parliament

Испанец
собака

Old Gold
улитки

и переменных
- зеленый дом стоит сразу справа от белого,
сосед курильщика

Chesterfield держит лису.
Это не желтый, синий, красный или зеленый дом. Следовательно он белый
Там не живут ни норвежец, ни японец, на англичанен, ни испанец.
Следовательно там живет украинец и пьет чай.
Но тогда, единственное, что может курить украинец это Lucky Strike, но тогда и пить он должен апельсиновой сок, а в исходных данный указано, что он пьет чай. Мы пришли к противоречию, следовательно наше предыдущее предположение было не верно. Возвращаемся на этап 5 и делаем другое предположение.

собака

испанец

лиса

чай

украинец

белый

зеленый

Chesterfield

Желтый
Kool

Красный
англичанин

Kool

Лиса/зебра

норвежец

желтый

Parliament

лошадь

вода

японец

синий

кофе

Old Gold

улитка

молоко

англичание

красный

Зеленый кофе

Японец Parliament

Испанец
собака

Old Gold
улитки

Украинец чай

Lucky Strike, апельсиновый сок

предположения и переменных
- зеленый дом стоит сразу справа от

белого, следовательно трений дом не зеленый, а красный или белый. Но предположение с красным цветом не подтвердилось,
следовательно третий дом белый, четвертый зеленый,
а пятый - красный.
- сосед курильщика Chesterfield держит лису,

Желтый
Kool

Old Gold
улитки

Kool

Лиса/зебра

норвежец

желтый

Parliament

лошадь

вода

японец

синий

молоко

белый

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Японец Parliament

Old Gold
улитки

Испанец
собака

Испанец
собака

Old Gold
улитки

Украинец чай

Lucky Strike, апельсиновый сок

Красный
англичанин

Испанец
собака

стоит сразу справа от белого,
- сосед курильщика Chesterfield держит лису,

Если англичанин живет в пятом доме, то украинец
не может жить ни в одном их этих домов, так как он пьет
Чай. Следовательно украинец должен жить во втором
Доме. Возвращаемся на 4 этап

англичанин

красный

зеленый

Желтый
Kool

Old Gold
улитки

Kool

Лиса/зебра

норвежец

желтый

Parliament

лошадь

вода

японец

синий

кофе

молоко

белый

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Японец Parliament

Old Gold
улитки

Испанец
собака

Испанец
собака

Old Gold
улитки

Украинец чай

Lucky Strike, апельсиновый сок

Красный
англичанин

Испанец
собака

- зеленый дом стоит сразу справа от белого.
- сосед курильщика

Chesterfield держит лису,
В предыдущий раз мы предположили, что
житель второго дома Японец, но это не
подтвердилось.
Предположим, что он Украинец.
Предположим, что цвет третьего дома
Красный.

Old Gold
улитки

Красный
англичанин

лошадь

чай

украинец

синий

молоко

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Украинец
чай

Old Gold
улитки

Японец Parliament

Испанец
собака

Японец Parliament

Красный
англичанин

Испанец
собака

Old Gold
улитки

Украинец чай

Lucky Strike, апельсиновый сок

Зеленый кофе

Японец Parliament

Красный
англичанин

Испанец
собака

Kool

норвежец

желтый

- зеленый дом стоит сразу справа от белого.
- сосед курильщика

Chesterfield держит лису,
В предыдущий раз мы предположили, что
житель второго дома Японец, но это не
подтвердилось.
Предположим, что он Украинец.
Предположим, что цвет третьего дома
Красный, тогда 4 дом белый, а 5 зеленый

Old Gold
улитки

лошадь

чай

украинец

синий

молоко

англичанин

красный

Lucky Strike, апельсиновый сок

Old Gold
улитки

Японец Parliament

Испанец
собака

Old Gold
улитки

Lucky Strike, апельсиновый сок

Зеленый кофе

Японец Parliament

Испанец
собака

Kool

норвежец

желтый

зеленый дом стоит сразу справа от белого.
- сосед курильщика Chesterfield

держит лису,
Попробуем распределить оставшиеся параметры.
Пусть в белом доме живет японец, тогда в пятом испанец

лошадь

чай

украинец

синий

Old Gold

улитки

молоко

англичанин

красный

Lucky Strike, апельсиновый сок

Kool

норвежец

желтый

японец

собака

кофе

испанец

зеленый

Parliament

зеленый дом стоит сразу справа от белого.
- сосед курильщика Chesterfield

держит лису,
Попробуем распределить оставшиеся параметры.
Пусть в белом доме живет японец, тогда в пятом испанец.
Японец не может курить Lucky Strike.
Предположение 11 не верно

лошадь

чай

украинец

синий

Old Gold

улитки

молоко

англичанин

красный

Lucky Strike, апельсиновый сок

Kool

норвежец

желтый

японец

собака

кофе

испанец

зеленый

Parliament

зеленый дом стоит сразу справа от белого.
- сосед курильщика Chesterfield

держит лису,
Попробуем распределить оставшиеся параметры.
Пусть в белом доме живет испанец, тогда в пятом японец

лошадь

чай

украинец

синий

Old Gold

улитки

молоко

англичанин

красный

Lucky Strie, апельсиновый сок

Kool

норвежец

желтый

собака

испанец

Parliament

кофе

японец

зеленый

белый

Lucky Strike

Апельсиновый сок

лису, но курить эти сигареты может только украинец в синем

доме. Тогда норвежец из желтого дома держит лису. Ему нечего пить кроме воды, а зебру держать некому, кроме японца из зеленого дома.

ОТВЕТ:
Зебру держит японец
Воду пьет норвежец

Chesterfield

лошадь

чай

украинец

синий

Old Gold

улитки

молоко

англичанин

красный

Kool

лиса

вода

норвежец

желтый

собака

испанец

Parliament

зебра

кофе

японец

зеленый

белый

Lucky Strike

Апельсиновый сок