逆戻り推論法