本文研究了术语重写系统的结合性，开发了首个学习引导的自动证明工具，并生成了大型随机数据集进行分析。实验结果表明，该工具在新策略下超越了现有工具CSI，并成功证明了一些之前无法自动证明的系统。
完成下面两步后，将自动完成登录并继续当前操作。
