8.3. Охота на индейку
Эта задача относится к классу широко известных задач о выстреле. В данном варианте речь идет об охоте на индеек. Индейки могут быть глуховаты или хорошо слышать. Если они хорошо слышат, то при зарядке ружья они услышат звук закрываемого затвора и спрячутся. Если они глухие, то они не слышат этого звука, не прячутся и могут быть поражены. Сначала представим необходимые аксиомы, комментируя их по ходу дела. Аксиомы разобьем на введенные ранее группы.
8.3.1. Исходные аксиомы
Аксиомы начальной ситуации:
Эти аксиомы свидетельствуют, что в начальной ситуации все индейки живые и они не спрятались.
Аксиомы допустимых действий:
Эта аксиома гласит: в любой ситуации, независимо ни от каких условий, можно зарядить ружье и выстрелить из него.
Аксиомы перехода в следующие ситуации:
Эти аксиомы указывают, что случится в следующей ситуации с ружьем или индейкой, если то или иное действие допустимо в настоящей ситуации.
8.3.2. Поставленный вопрос
Если предположить, что помимо начальной ситуации существуют такие ситуации 
что 
, соответственно, в ситуациях 
будут осуществлены действия Зарядить, Ждать, Выстрелить, а ситуация 
достижима, то спрашивается, будет ли жива в этой ситуации индейка, если она не глухая, т.е.
Таким образом поставленный вопрос означает, что формула
априори предполагается истинной, а следовательно, на основании правила исключения конъюнкта истинным должен быть каждый из следующих конъюнктов:
8.3.3. Получение ответа на поставленный вопрос (вывод)
Доказательство вследствие его простоты приведем без комментария и ссылок на используемые аксиомы:
(см. скан)
