软件名称：
02简单逻辑：通过实例进行智能推理
下载地址列表：
镜像地址一
