推論規則をまずいくつか書いてくれると、議論がスムーズになりそう。
(全部書いてくれるといいのだけど。)