Додо, Попугайчик Лори и Орленок.

23. Додо, Попугайчик Лори и Орленок.
   Так как Лори думает, что Додо не в своем уме, то Лори и Додо совсем несхожи (если Лори в здравом рассудке, то Додо не в своем уме; если Лори не в своем уме, то Додо в действительности не безумец, а пребывает в здравом рассудке). Так как Орленок думает, что Додо в здравом рассудке, то Орленок совсем несхож с Лори (который думает, что Додо не в своем уме). Следовательно, Орленок схож с Лори. (То же самое можно доказать иначе: если Орленок в своем уме, то Додо в действительности в здравом рассудке, а если Орленок не в своем уме, то Додо в действительности не в здравом рассудке, а не в своем уме.) Следовательно, Орленок и Додо схожи между собой, а Лори несхож с ними обоими. Так как Лори несхож с Орленком, то Лори должен думать, что Орленок не в своем уме. Значит, Додо судит здраво, поэтому Додо в своем уме.