6.5 不是循环推理