4 规则推理模型的实现