9. Предположим, что Бетти относится к типу А. Тогда правильным ответом на ее вопрос является "да", и поэтому Джон мог спросить, принадлежит ли по крайней мере один из них к типу В. Но это приводит нас к противоречию: ведь если Джон относится к типу А, то невозможно, чтобы по крайней мере один из супругов принадлежал к типу В. Следовательно, правильным ответом на его вопрос должно быть "нет", что невозможно для человека, принадлежащего к типу А. Если же Джон относится к типу В, тогда, действительно, по крайней мере один из них принадлежит к типу В, - ведь в этом случае "да" оказывается правильным ответом на его вопрос. Но поскольку ни один человек, относящийся к типу В, не может задать вопрос, правильным ответом на который является "да", то предположение о том, что Бетти принадлежит к типу А, неверно и, значит, она должна относиться к типу В.
   Теперь, поскольку Бетти относится к типу В, то правильным ответом на ее вопрос является "нет"; отсюда следует, что Джон никак не может спросить ее, принадлежит ли по крайней мере один из них к типу В. Далее, если бы Джон относился к типу А, тогда он в самом деле мог задать такой вопрос, поскольку, действительно, по крайней мере один из них (а именно Бетти) принадлежит к типу В. Но поскольку задать такой вопрос он не может, то, следовательно, он тоже должен относиться к типу В.
   Итак, ответ таков: оба супруга принадлежат к типу В.