生成具有错误检查和思维链的高级逻辑推理代码。