Решение логической задачи

Здравствуйте! Нужна срочная помощь с этим заданием с помощью метода резолюции:

1. Пользователь и дурак – это не одно и то же.

2. Если пользователь – дурак, и он может использовать написанную Вами программу, то только дурак будет использовать Вашу программу.

Теорема: Если пользователь – не дурак, то он не может использовать Вашу программу.

Вот пример решения такой задачи от преподавателя:

Время решения до 11:30 по МСК