LLM 预测过程
葡萄在 G 或 H 中。葡萄不在 G 中。因此葡萄在 H 中？
生成答案
同义改写
点击“生成答案”以模拟预测。
LLM 预测过程
部分 A 是 B。部分 B 是 C。因此所有 A 都是 C？
运行对比
返回主视图
运行对比以生成模拟输出。
LLM 预测答案。几何系统通过构造模型来验证。
几何模型（场景 B）
部分 A 是 B，部分 B 是 C，测试是否所有 A 都是 C。
等待运行。尚未构造。