Для решения этой задачи необходимо рассмотреть отдельно два случая.
Первый случай: A - рыцарь. Тогда B и C однотипны. Если C - рыцарь, то и B - рыцарь и, следовательно, однотипен с A. Поэтому C, будучи человеком правдивым, должен был ответить "Да". Если C - лжец, то и B - лжец (поскольку B однотипен с C) и, следовательно, принадлежит к иному типу островитян, чем A. Поэтому C, будучи лжецом, должен солгать и ответить "да".
Второй случай: A - лжец. Тогда B и C не однотипны. Если C - рыцарь, то B - лжец и, следовательно, однотипен с A. Поэтому C, будучи рыцарем, должен ответить "да". Если C - лжец, то B, будучи человеком иного типа, чем C, - рыцарь и принадлежит к иному типу островитян, чем A. Но тогда C, будучи лжецом и утверждая, что A и C не однотипны, должен лгать, поэтому на заданный вопрос он ответит "да". Таким образом, в обоих случаях C ответит "да".