Inference rules are user-defined or predefined; predefined rules can be redefined.

• 推理规则是用户定义的,或预定义的;预定义的规则可以重新定义。