Решение

A утверждает, что считает B человеком. B либо утверждает, что считает A человеком, либо утверждает, что считает A не человеком. Вторую альтернативу необходимо исключить, так как она приводит к следующему противоречию. Рассмотрим два утверждения.
1) A утверждает, что считает B человеком.
2) B утверждает, что считает A не человеком.
   Предположим, что A - человек. Тогда, как показано в решении задачи 175, из утверждения (1) следует, что B - человек. В свою очередь из утверждения (2) следует, что A не человек. Поскольку A по предположению человек, то мы приходим к противоречию.
   Предположим теперь, что A - упырь. Тогда, как показано в решении задачи 175, из утверждения (1) следует, что B не человек. Следовательно, B - упырь. Из утверждения (2) мы, как показано в решении задачи 175, заключаем, что A - человек. Но такой вывод противоречит предположению о том, что A - упырь. Значит, если бы B ответил отрицательно, то мы пришли бы к противоречию. Следовательно, B ответил утвердительно.