Первая задача (Исчисление предикатов. Метод резолюций)
-------------------------
1) Все пациенты любят докторов
2) Никто из пациентов не любят знахарей
Доказать теорему, что доктора не являются знахарями
-------------------------

Вторая задача (Доказательство на логике предикатов)
-------------------------
1) Кто ходит в гости по утрам тот поступает мудро
2) У тех у кого его воздушный шарик, тот ходит в гости по утрам
3) У пятачка есть воздушный шарик
Кто поступает мудро?
-------------------------