Эпилог. Не устояв перед неопровержимыми доводами инспектора Крэга, Макгрегор признался в том, что он солгал в надежде получить страховку.
76. Если В виновен, то в силу высказывания (2) в преступлении замешаны ровно двое подозреваемых. Если же виновен С, то в силу высказывания (3) в преступлении замешаны трое подозреваемых. Поскольку ни того, ни другого быть не может, то по крайней мере один из В и С невиновен. Подозреваемый А также невиновен, поэтому виновных не может быть больше двух. Следовательно, у С не было ровно двух соучастников, и в силу высказывания (3) подозреваемый С должен быть невиновен. Если В виновен, то у него был ровно один соучастник. Им должен быть D (так как А и В оба невиновны). Если В невиновен, то А, В и С невиновны. Тогда D должен быть виновен. Итак, независимо от того, виновен или невиновен В, подсудимый D должен быть виновен. Следовательно, D виновен.
77. В действительности обвинитель сказал, что подсудимый не совершал преступления в одиночку. Защитник, отрицая высказывание обвинителя, тем самым утверждал, что подсудимый совершил преступление в одиночку.
78. Можно, причем очень просто. В силу высказывания (1), если А невиновен, то С виновен (поскольку если А невиновен, то дизъюнкция «либо А невиновен, либо В виновен» – истинна). В силу высказывания (2), если А невиновен, то С невиновен. Следовательно, если А невиновен, то С одновременно виновен и невиновен, что невозможно. Значит, А должен быть виновен.
79. Двое подсудимых, один из которых должен быть виновен, это А и С. Действительно, предположим, что В невиновен. Тогда в силу высказывания (1) А или С должен быть виновен. С другой стороны, предположим, что В виновен. Если А виновен, то по крайней мере кто-то один из А и С заведомо виновен. Но предположим, что А невиновен. Тогда В виновен, а А невиновен. Следовательно, в силу высказывания (2) С должен быть виновен, то есть и в этом случае либо В, либо С виновен.
80. Прежде всего докажем, что если А виновен, то С виновен. Предположим, что А виновен. Тогда в силу высказывания (2) либо В, либо С виновен. Если В невиновен, то виновен должен быть С. Но предположим, что В виновен. Тогда А и В оба виновны. Следовательно, в силу высказывания (1) С также виновен. Это доказывает, что если А виновен, то С виновен. Кроме того, в силу высказывания (3), если С виновен, то D виновен. Сопоставляя эти два факта, мы заключаем, что если А виновен, то D виновен. Но в силу высказывания (4), если А невиновен, то D виновен. Следовательно, независимо от того, виновен или невиновен А, подсудимый D должен быть виновен. Таким образом, виновность D не вызывает сомнений. Виновность всех остальных подсудимых остается под сомнением.