在推理信息库查到所需的结论后，可以详细展开结论推导的过程。