4. Допустим, что Артур принадлежит к типу В. Тогда, действительно, по крайней мере один из братьев относился бы к типу В, а это потребовало бы в качестве правильного ответа "да", что в свою очередь означало бы, что Артур принадлежит к типу А. Таким образом, мы приходим к противоречию, и, следовательно, Артур не может принадлежать к типу В. Стало быть, он относится к типу А. Отсюда следует, что правильным ответом на его вопрос является "да", а это означает, что по крайней мере один из братьев принадлежит к типу В. Так как Артур не принадлежит к типу В, то это должен быть Роберт. Итак, Артур относится к типу А, а Роберт - к типу В.