逻辑推理-条件验证