借助诊断性找出否定性最小的假设