正向推理和逆向推理同时进行，且在推理过程中的某一步“碰头”的一种推理是（）。