推论阶梯例子