由“果”推“因”的回溯推理法