Помогите пожалуйста по дискретной математике⁠⁠

Здравствуйте! Я реализую программу по валидации логических выражений. К сожалению, не смог решить по методу Маслова так называемую задачу "Стимроллер" (это которая про волков, лисиц и прочую живность). Может кто помочь, подсказать?
Я подозреваю, что вместо переменных надо поставить константы, скорее всего. Но получить пустой дизъюнкт так и не удалось. Немного не мой профиль, промучился 2 дня. Прошу помощи :). Если это уместно, то можно за вознаграждение :)