2 条件推理