>148
すいません。推論規則はわかりません。一通りは使えると思います。