Prologよくわかんないんだけど、
「工藤真一は蘭が好きだ」と「コナンは工藤真一である」から
「コナンは蘭が好きだ」を推論するみたいなのって
Prologでどう書けばいいんでしょうか。