Логическая задача на prolog

Три подразделения А, В, С торговой фирмы стремились получить по итогам года максимальную прибыль. Экономисты высказали следующие предположения: 1) А получит максимальную прибыль только тогда, когда получат максимальную прибыль В и С, 2) Либо А и С получат максимальную прибыль одновременно, либо одновременно не получат, 3) Для того чтобы подразделение С получило максимальную прибыль, необходимо, чтобы и В получило максимальную прибыль. По завершении года оказалось, что одно из трех предположений ложно, а остальные два истинны. Какие из названных подразделений получили максимальную прибыль?

Срок: желательно к 1 июня, а так пишите ваш срок - рассмотрим. Да, и я готов работать с предоплатой.