以下几种情况（大前提）可能需要进行实质推理（）