Проверить совместность утверждений. - либо свидетель не был запуган, либо, если Генри стрелял, то записка была найдена;
- если свидетель был запуган, то Генри не стрелял;
- если записка была найдена, то Генри стрелял.
(Решить методами алгебры высказываний)