规则22 肯定前件式