72. Этот случай еще проще. Если A не виновен, то (так как C не виновен) виновным должен быть B — в силу высказывания (1). Если A виновен, то в силу высказывания (2) у него должен быть соучастник. Из высказывания (3) следует, что этим соучастником не мог быть C. Значит, им должен быть B. Итак, и в том и в другом случае B виновен.
73. Предположим, что B не виновен. Тогда должен быть виновен один из двух близнецов. У этого близнеца должен быть соучастник, а поскольку B не мог быть сообщником, то им должен быть другой близнец. Но это невозможно, так как одного из близнецов во время преступления видели в Дувре. Следовательно, B виновен. А поскольку B всегда «ходит на дело» в одиночку, то оба близнеца не виновны.
74. Не вызывает ни малейших сомнений виновность B. Доказать это можно при помощи любого из следующих рассуждений.
Рассуждение первое. Предположим, что B не виновен. Тогда если бы A был виновен, то C также был бы виновен в силу высказывания (1). Это означало бы, что вопреки высказыванию (3) A совершил преступление вместе с C. Следовательно, A должен быть не виновен. Но тогда вопреки высказыванию (2) C единственный, кто виновен. Значит, B виновен.
Рассуждение второе. Оно прямее приводит к ответу на вопрос задачи.
а) Предположим, что A виновен. Тогда в силу высказывания (3) B и C не могут быть оба не виновны, поэтому у A должен быть соучастник. Так как C в силу высказывания (3) не мог быть соучастником A, то им должен быть B. Следовательно, если A виновен, то B также виновен.
б) Предположим, что C виновен. Тогда в силу высказывания (2) у него должен быть соучастник, которым в силу высказывания (3) не мог быть A. Следовательно, им должен быть B.
в) Если ни A, ни C не виновны, то B несомненно виновен!
75. Инспектор Крэг выдвинул против мистера Макгрегора обвинение в попытке ввести полицию в заблуждение: никакого ограбления в действительности не было. Вот как рассуждал инспектор Крэг.
Первый шаг. Предположим, что A был бы виновен. Тогда в силу высказывания (2) у него был бы ровно один соучастник — не больше, не меньше. Следовательно, кто-то один из B, C виновен, а другой не виновен. Но это противоречит высказываниям (3) и (5), из которых, если взять их вместе, следует, что B, C либо оба виновны, либо оба не виновны. Значит, A должен быть не виновен.
Второй шаг. Из высказываний (3) и (5) следует, что B и C либо оба виновны, либо оба не виновны. Если бы они были оба виновны, то других виновных не было бы (так как A не виновен). Следовательно, виновных в этом случае было бы ровно двое. В силу высказывания (4) это означало бы, что A виновен. Тем самым мы пришли бы к противоречию, так как A не виновен. Следовательно, B и C оба не виновны.
