Алиса в стране Смекалки

Тем самым виновность подсудимого А доказана.
  
Глава 11
 
88. Всего лишь один вопрос. Действительно следуют. Рассмотрим сначала утверждение 1. Предположим, некто убежден, что он бодрствует. В действительности он либо бодрствует, либо не бодрствует. Предположим, что он бодрствует. Тогда его убеждение правильно, но всякий, кто придерживается наяву правильных убеждений, должен принадлежать к типу А. С другой стороны, предположим, что он спит. Тогда его убеждение ложно, а всякий, кто придерживается во сне ложных убеждений, должен принадлежать к типу А. Следовательно, персона, о которой идет речь, бодрствует ли она или спит, должна принадлежать к типу А. Тем самым утверждение I доказано.
Перейдем теперь к утверждению 2. Предположим, некто убежден, что принадлежит к типу А. Если он действительно принадлежит к типу А, то его убеждение правильно, а те, кто принадлежит к типу А, могут придерживаться правильных убеждений только наяву. С другой стороны, если в действительности он принадлежит к типу В, то его убеждение ложно, а те, кто принадлежит к типу В, могут придерживаться ложных убеждений только наяву.
И в том и в другом случае интересующая нас персона бодрствует. Тем самым утверждение 2 доказано.