Решение задачки от НеГрустин

Ну ты и заморочился))))
Во даешь!

Красава:))) Пять баллов!!!

такие задачки на прологе быстро решаются

smart-lab.ru/blog/171718.php#comment2502967

Моя мелкая решала так:
1) Сделали в ворде и напечатали табличку со всеми возможными вариантами во всех ячейках — от А1 до F6. То есть в каждой ячейке (к примеру) третьей строки были пять значений в столбик — белый, синий, красный, жёлтый, зелёный. В остальных строках — свои значения, по пять штук. Получили матрицу из 25 ячеек, взаимоисключающих элементов по горизонтали и вертикали. (Геометрическое решение — оно было ей понятно.)
2) Далее, она читала каждое из 15-ти утверждений, и если оно исчерпывало себя, т.е. мы из него взяли все однозначные данные, — зачёркивала. Те пункты, которые однозначных данных не давали, оставляли на следующий «прогон».
3) При нахождении однозначного утверждения или зависимости — оно выделялось в таблице. Остальные — по горизонтали и вертикали — в строке и столбце — вычёркивались.
4) Далее следовал «прогон» незачёркнутых утверждений #1) — #15). За несколько «прогонов» — в табличке остались только однозначные решения!

Без противоречий!))))

о е :)
решил без бумажки.

У задачи есть только одно решение. Пропущено: норвежец живет в желтом доме (т.к. остальные цвета заняты: второй — синий (12), третий — красный (2), 4-й и 5-й — зеленый и белый (3)), поэтому он курит dunhill (6), а не pall mall, следовательно, pall mall курит англичанин, который и владеет sber-ом, а норвежец, стало быть, lkoh-ом.
Я так понимаю, была попытка упростить решение, не высчитывая, в частности, B3, поэтому так и получилось.