Утверждения Смита и Брауна противоречат друг другу («Это сделал Браун», «Браун не виновен»)
Значит, один из них точно солгал (в силу закона непротиворечия)
. По условию задачи, из всех троих солгал только один. Мы уже установили, что это либо Смит, либо Браун
. Следовательно, Джонс точно сказал правду
. Следовательно, его высказывание «Это преступление совершил я» истинно
. Следовательно, Джонс виновен
)