>>69
AがBを愛する関係に入ることが、AはCを愛さない理由を生成してしまう。
と述べればよいのだろうか。
そうだとしたら、高階述語になるなぁ。