请教直言推理
大家都知道直言推理的限制换质位
以下是限制换质位的推导过程：
1、所有a不是b
2、有些a不是b 1蕴含
3、有些a是非b 2换质
4、有些非b是a 3换位
5、有些非b不是非a 4换质
那么以下推理是否正确,书上没有这个推理过程,我觉得推理过程没错,但总觉得有点别扭
1、所有a不是b
2、所有b不是a 1换位
3、有些b不是a 2蕴含
4、有些b是非a 3换质
5、有些非a是b 4换位
6、有些非a不是非b 5换质
如果错了,请指出来,谢谢