Так как B согласен с A, то A и B либо оба рыцари, либо оба лжецы. Если бы они оба были рыцарями, то было бы не верно, что по крайней мере один из них лжец. Но тогда высказанное A утверждение было бы ложно, что невозможно, так как A - рыцарь. Следовательно, A и B - оба лжецы. Это означает, что высказанное A утверждение ложно. Но первая часть его должна быть истинной (если A и B - оба лжецы, то по крайней мере один из них лжец). Значит, вторая часть утверждения должна быть ложной. Следовательно, третий остров - не остров Майя.