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

Значит, он превратно судит обо всем и Королева в действительности не думает, что Король думает, что она не в своем уме. Но Королева либо в своем уме, либо безумна. Если она в своем уме. то здраво судит обо всем. Значит, верно, что Король не думает, что она не в своем уме, поэтому Король думает, что Королева в здравом рассудке. Но тогда Король мыслит здраво, и мы опять приходим к противоречию: безумный Король мыслит в соответствии с истиной. С другой стороны, если Королева не в своем уме, то она судит обо всем превратно, поэтому Король в действительности думает, что она не в своем уме.

Тем самым Король должен был бы быть в здравом рассудке, между тем как он не в своем уме. Итак, и в одном и в другом случае мы приходим к противоречию.

Оно доказывает просто невозможность такого положения, при котором Король думает, что Королева думает, что она не в своем уме. Таким образом, если бы Герцогиня задала Алисе логическую задачу, то это, несомненно, свидетельствовало бы о том, что Герцогиня не в своем уме. Но в действительности Герцогиня не задавала Алисе такой задачи. Она лишь спросила у Алисы:

- А что бы ты сказала, если бы я сообщила тебе, что...

22. Королева Червей. Все, что мы доказали в предыдущей задаче, применимо не только к Королю и Королеве Треф, но и к Королю и Королеве Червей. Действительно, невозможно, чтобы Король Червей думал, что Королева Червей думает, что Король Червей думает, что она не в своем уме.