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

Следовательно, либо Чеширский Кот, либо Гусеница говорит правду (поскольку либо Мартовский Заяц, либо Соня говорит правду: если правду говорит Мартовский Заяц, то не лжет Чеширский Кот; если же правду говорит Соня, то не лжет Гусеница). Но в своих показаниях на суде Болванщик утверждал, что либо Чеширский Кот, либо Гусеница говорит правду, поэтому сам Болванщяк говорит правду. Значит, и кухарка, и Болванщик говорят правду. Именно это и утверждал Валет Червей. Таким образом. Валет Червей говорит правду (разумеется, при условии, что Ящерка Билль говорит правду).

Итак, мы доказали, что если Ящерка Билль говорит правду, то Валет Червей не может не говорить только правду. Значит, Белый Кролик лгал, когда утверждал, что Билль говорит правду, а Валет лжет. Итак, Белый Кролик - лжец.

Обратимся теперь к показаниям Алисы (их истинность не вызывает сомнений). Алиса сказала, что Белый Кролик и Герцогиня либо оба говорят правду, либо оба лгут. Говорить правду они оба не могут (так как Белый Кролик лжет).

Следовательно, они могут только лгать вдвоем. Но коль скоро Герцогиня лжет, то крендели украл не кто иной, как Грифон.

Глава 3

14. Гусеница и Ящерка Билль. Гусеница считает, что и она, и Ящерка Билль не в своем уме. Если бы Гусеница была в здравом уме, то мнение о том, что и она, и Ящерка Билль не в своем уме, было бы ложно. Следовательно, Гусеница (будучи в здравом уме) не могла бы придерживаться этого ложного мнения. Значит, Гусеница не в своем уме.