いわゆる三段論法を prologで表現したい。全称量化子つき

いわゆる三段論法を prologで表現したい。全称量化子つき

個人的に、なんとか prologを活用しようと思ってるのですが、簡単な論理式でもいざコード化しようとする…