实质推理在具体案例中的应用