Решить задачу.
Доказать справедливость рассуждения:
Если экзаменатор строг, то экзамен трудно сдать. Экзаменатор строг или студенты плохо посещают занятия. Если студенты плохо посещают занятия, то плохо работает администрация факультета. Однако администрация работает хорошо. Значит, экзамен трудно сдать.
Используйте для доказательства метод резолюции.