Правила логического вывода в задачах Кэрролла, подобно улыбке Чеширского Кота, остаются после того, как здравый смысл исчезает из посылок. Правильно обращаться с «неправильными» суждениями, чтобы научиться заведомо правильно оперировать с правильными суждениями — вот заветная цель логических построений Кэрролла.