Каждый наверное решал когда-то задачу Эйнштейна http://yuriy.city.tomsk.net/. Однажды летом 2006 года я решил создать свою по образу и подобию. Вот она:


На вечеринке в клубе собрались 5 друзей - Андрей, Кирилл, Александр, Иван, Денис
Каждый припарковал свою машину рядом с машиной друга.
Имеется 5 машин – Мерседес, Ауди, Волга, Десятка, Копейка
Каждая машина определенного цвета – красная, черная, белая, зеленая, цвета металлик.
Каждый из парней имеет девушку – Аня, Катя, Ира, Света, Ксюша.
Каждый учится: экономист, программист, историк, математик, строитель.


Известно, что .
1. Тот, кто встречается с Ирой, поставил машину справа от машины Александра
2. Машина цвета металлик граничит с одной машиной, машиной программиста.
3. Математик-хозяин Волги
4. Десятка - нечетная по порядковому номеру
5. Иван не встречается ни с Ирой, ни с Катей
6. Хозяин десятки и хозяин первой машины – неразлучные друзья.
7. Хозяин последней машины встречается с Аней
8. Денис встречается с Ксюшей
9. Историк не водит черную машину
10. Кирилл – математик. Он поставил машину крайней.
11. Тот, кто встречается с Ксюшей, поставил машину правее машины Андрея и левее машины историка
12. Андрей ездит на зеленой машине
13. Ауди находится через 2 машины от машины того, кто встречается со Светой.
14. Мерседес- вторая машина
15. Машина, находящаяся через одну машину от Волги – красная
16. Хозяин десятки не встречается с Аней.
17. У строителя – Ауди


Кто с кем встречается , кто на какой машине ездит, кто где учиться и т.д.

Конечно, я мог и ошибиться, но у меня получилось, что система высказываний (если они истинны) в условии противоречива. Проверьте на всякий случай Ваш ответ к этой задаче на все приведенные высказывания.

Система высказываний непротиворечива и логически безупречна. Попробуйте еще раз.