单机 安装大箱子或6boss补丁后可以开启红门杀6boss 个人建议使用大箱子 难度稍微小些 用处也多些
可以打不过要安装个大箱子补丁才行。大箱子下载地址：http://www.vdisk.cn/down/index/9230646
自然推理系统与公理系统区别是什么？难到公理系统不用推理规则？难到自然推理不用规则？我还觉得推理规则
