展开 正向推理和反向推理