Король в своем уме ? (логическая задача), Prolog Опции

[Altair]

Вот задача:

Король Пик думает, что Королева Пик думает,
что Король не в своем уме. Что можно сказать о состоянии
рассудка Короля и Королевы?

Ответ:
Король - в своем уме,
королева - не в своем уме!

Почему так? Я не вьезжаю



решение на Прологе:

участник(в_своем_уме).
участник(не_в_своем_уме).

думает(_х,_у):-(_х=в_своем_уме,ВЫП(_у)).
думает(_х,_у):-(_х=не_в_своем_уме,НЕ(ВЫП(_у))).

ер(_Король,_Королева):-
  участник(_Король),
  участник(_Королева),
  думает(_Король,думает(_Королева,_Король=не_в_своем_уме)).

?-ер(_Король,_Королева).