Прежде всего Грифон и Черепаха Квази должны быть "одинаковыми", то есть либо оба не в своем уме. либо оба в здравом рассудке, так как Черепаха Квази считает, что Грифон в своем уме. Если Черепаха Квази в здравом рассудке, то это означает, что Грифон в своем уме. Если же Черепаха Квази не в своем уме, то он судит обо всем  превратно. Значит, Грифон в действительности не в здравом рассудке, а безумен. Таким образом, Грифон и Черепаха Квази оба не в своем уме.
   Докажем теперь, что Омар не в своем уме. Будем рассуждать от противного: предположим, что он в своем уме. Тогда Омар обо всем судит здраво и, следовательно. Грифон действительно считает, что ровно один из троих (Грифон, Черепаха Квази и Омар) в своем уме. Но это невозможно, так как если Грифон в своем уме, то Черепаха Квази (равно как и Омар) в своем уме, поэтому утверждение о том, что ровно один из них в своем уме, ложно (так как в своем уме все трое). Следовательно, Грифон, будучи в здравом рассудке, так думать не мог. С другой стороны, если Грифон в своем уме, то утверждение о том, что ровно один из троих (а именно Омар, так как Черепаха Квази не в своем уме) в здравом рассудке, истинно. Но существо, которое не в своем уме, не может мыслить истинными суждениями. Следовательно, предположение о том, что Омар в своем уме, приводит к противоречию. Значит, Омар не может быть в здравом рассудке: он должен быть не в своем уме.
   Итак, мы знаем, что Омар не в здравом рассудке. Значит, в действительности неверно, будто Грифон считает, что разумен ровно один из троих (Грифон, Черепаха Квази и Омар). Если Грифон не в своем уме, то Черепаха Квази также не в своем уме, и, таким образом, все трое не в своем уме. Следовательно, утверждение о том, что не в своем уме ровно один из троих, ложно. Это означает, что Грифон, будучи не в своем уме, должен принимать за истинные все ложные утверждения, в частности утверждение о том, что ровно один из троих в здравом рассудке, хотя, как мы уже доказали, он так не думает. Полученное противоречие показывает, что Грифон не может быть не в своем уме. Следовательно, Грифон в здравом рассудке и Черепаха Квази (будучи таким же безумным или здравомыслящим), как Грифон, должен быть в своем уме.