Человек в здравом уме на мой вопрос ответил бы отрицательно, а трансильванцы любого из трех остальных типов - утвердительно. Получив утвердительный ответ на свой вопрос, я не смог бы определить, к какому из четырех типов трансильванцев принадлежит мой собеседник. Но в условиях задачи сказано, что я узнал по ответу, кто мой собеседник. Следовательно, на мой вопрос он ответил не утвердительно. Значит, он ответил "нет", из чего мы заключаем, что трансильванец был человеком в здравом уме.
