Алиса в стране смекалки   ::   Смаллиан Рэймонд

Предположим, что у говорившего красная карта. Тогда высказанное им утверждение истинно. Значит, перед Алисой должен быть Труляля.

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

Итак, и в том и в другом случае из домика на этот раз вышел Труляля.

69. Шестой раунд (Красное и черное). Если бы у первого братца была карта красной масти, то мы пришли бы к следующему противоречию. Предположим, что у первого братца карта красной масти. Тогда высказанное им утверждение истинно. Следовательно, второго братца зовут Труляля, а его самого Траляля. Таким образом, первый братец Траляля с картой красной масти. Если это так, то утверждение высказанное вторым братцем, истинно. Но тогда как мог лгать первый братец, который говорит правду, утверждая, будто его братец Труляля с картой черной масти? Следовательно, у первого братца не может быть карты красной масти: у него должна быть карта черной масти.

Так как у первого братца карта не красной масти, то высказанное вторым братцем утверждение не может быть истинным. Значит, и у второго братца карта черной масти.

Если бы второго братца звали Труляля, то он был бы Труляля с картой черной масти. Тогда первый братец сказал бы правду. Но первый братец солгал (так как у него карта черной масти).