Z 3 Логическая задача

Решение логических задач методом резолюций.
Условие задачи привести в тексте сообщения.
Решение - в текстовом файле во вложении.

Вес одной задачи - "+"

Для "сложных" задач - возможно увеличение веса.
Теория должна содержать не менее 7 предложений. Из которых - не менее трех - правила.

Задачи можно попробовать сформулировать и доказать используя следующую юмористическую статью
В.Тихонов. Теория ошибок

Срок - 24.09.