# 以下の主張をProlog述語として定義せよ。
#
# 愛とは差別を含む関係である.
#