>>95
>>>90については、途中で端折りますが、以下のようなら自然でしょうか。

いいえ、不自然です。この問題(仕様)はすべてファクト(事実)から構成されています。
出題者の意図(文脈)は知りませんが、単純なのにわざわざ複雑なルール(推論)を組み込むのは、
解答として適切であるとは思えません。

もし納得できないようでしたら、いったんPrologプログラミングから離れて
数学の命題論理(初等数理論理学の一部)を勉強されることをお勧めします。