没有错误的推论我们就无法推论