用inference rule造句子，“inference rule”造句

Examples of stateful rules include most event correlation rules and some USES of inference rules.

Propositional logic in the inference rule can be used to prove that a propositional formula has been expressed as the theorem, but it is not easy to implement mechanization.