Преобразовать теоремы в вопросы и получить ответы (метод резолюции)

Добрый вечер. Помогите преобразовать теоремы в вопросы и получить ответы.

1.1. А1: Если пассажир сел в самолет, на который ему удалось купить билет, то пассажир думает, что самолет разобьется.

А2: Если пассажир не сел ни в какой самолет или самолет не взлетел, то безопасность пассажира гарантируется.

А3: Безопасность пассажира Васи не гарантируется.

Вопрос: Кто думает, что безопасность пассажира Васи не гарантируется.