rule は推論を実行する。包含を実行するのではない。注意。
もし包含を実行するなら 「A(偽) ならば B(真)」と「A(偽) ならば B(偽)」 も出力しなければならない。が、これを出力してもまったく意味がない。
包含と推論の違いは以下のとおり
包含 「A ならば B」 推論 「((A ならば B) かつ A) のとき B を結論する」
包含は論理式。推論は論理式ではない。
推論とは 「A ならば B」の関係があって、さらに A が真のとき B が真と結論すること。
rule は定義に包含を使うが、rule が実行するのは推論のほう。