Ну неужели если “такого пункта в условии задачи нет”, то можно сразу говорить, что решение неверно! Решение не противоречит условию, и это главное. А по вашему выходит, что если, к примеру, предположить, что красный дом стоит справа от желтого, а такого условия нет, то все – предположение неверно!
“…можно добавить к пункту 4 “зеленый дом стоит слева от белого” слова, что эти дома соседние.” Можно. А можно и не добавлять. Я считаю, что такой человек как Энштэйн сочинял эти задачи не по пьяни, а значит, каждый пункт точно выверен. Поэтому, на мой взгляд, стоит четко следовать условию.
