Двое подсудимых, один из которых

Двое подсудимых, один из которых должен быть виновен, это B и C. Действительно, предположим, что A не виновен. Тогда в силу высказывания (1) B или, C должен быть виновен. С другой стороны, предположим, что A виновен. Если B виновен, то по крайней мере кто-то один из B и C заведомо виновен. Но предположим, что B не виновен. Тогда A виновен, а B не виновен. Следовательно, в силу высказывания (2) C должен быть виновен, то есть и в этом случае либо B, либо C виновен.