规则引擎天然提供基于规则的证明路径（如推导树），而语言模型的内部推理过程通常是不透明的。