Здравствуйте, имеется логическая задача, пытался разобраться с Прологом, но в решении не могу продвинуться; сам, очевидно, не справлюсь, уже сроки поджимают... Очень прошу помочь! (код на Turbo Prolog, можно на Visual). Вот условие:

Восемь школьников, оставшихся в классе на перемене, были вызваны к директору. Один из них разбил окно в кабинете. На вопрос директора, кто это сделал, были получены следующие ответы:

Федя: «Окно разбил Антон»
Соня: «Окно разбил Валера».
Оля: «Окно разбила Соня».
Маша: «Это был кто-то из другого класса».
Надя: «Оля права».
Коля: «Это либо Валера, либо Соня».
Андрей: «Ни Валера, ни Соня этого не делали».
Валера: «Антон не разбивал окно».

Кто разбил окно, если известно, что истинными являются три высказывания?