B должен быть лжецом, так как рыцарь не мог бы высказать утверждение B. Следовательно, A и B оба не могут быть лжецами, поэтому A - рыцарь. Значит, его утверждение истинно, и A и B - оба обезьяны. Итак, A - обезьяна и рыцарь, B - обезьяна и лжец.