Метод резолюции. Помогите пожалуйста.

[rustam1204]

Добрый день. помогите с задачкой. Нужно преобразовать теорему в вопросы и получить ответы с помощью метода резолюци.
А1: Если пассажир сел в самолет, на который ему удалось купить билет, то пассажир думает, что самолет разобьется.
А2: Если пассажир не сел ни в какой самолет или самолет не взлетел, то безопасность пассажира гарантируется.
А3: Безопасность пассажира Васи не гарантируется.
Вопрос: Кто думает, что безопасность пассажира Васи не гарантируется.