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