Принцесса или тигр   ::   Смаллиан Рэймонд

Тогда:

1) если А — рыцарь, то С — плут (поскольку А сообщил, что С — плут) и, следовательно, В является шпионом;

2) если А — плут, то утверждение, высказанное В, является ложным, откуда сразу следует, что В должен быть шпионом (ведь он не плут, поскольку плутом является А) и, стало быть, С—рыцарь: 3) если А — шпион, то утверждение, высказанное В, вновь оказывается ложным, откуда следует, что В является плутом и, значит, С — рыцарь. Таким образом, мы получаем, что имеет место один из следующих вариантов:

(1) А — рыцарь, В — шпион, С — плут;

(2) А — плут, В — шпион, С — рыцарь;

(3) А — шпион, В — плут, С — рыцарь.

Далее, пусть С заявил, будто В — шпион. Тогда варианты (1) и (3) исключаются из рассмотрения. (Первый из них — потому что С, будучи плутом, никак не мог заявить, что В — шпион, поскольку В как раз им и является; второй — потому что С, будучи рыцарем, никак не мог утверждать, что В — шпион, поскольку В шпионом не является.) Значит, нам остается лишь вариант (2), причем в этой ситуации судья знал бы, что В—шпион

Пусть теперь С заявил, будто В — рыцарь. Тогда единственно возможным оказывается вариант (1), причем случае судье вновь было бы известно, кто шпион, и он признал бы виновным подсудимого В.

Пусть, наконец, С заявил, будто В — плут. Тогда судья не смог бы определить, какой из вариантов имеет место в действительности — вариант (1) или вариант (3). Поэтому он не смог бы указать, кто же является шпионом — А или В, а значит, и не смог бы признать кого-либо из них виновным. Следовательно, С не мог заявить, что В является плутом. (Конечно, у нас все еще действует предположение, относящееся к случаю 1,— что В утверждал, будто А — рыцарь.)

Итак, если имеет место случай 1, то судья мог признать виновным только подсудимого В.

Случай 2: В утверждал, что А — шпион.