下列哪些条不属于Armp公理系统中的基本推理规则( )
Ⅰ．若

，则X→Y
Ⅱ．若X→Y，则XZ→YZ
Ⅲ．若X→Y且

,则X→Z
Ⅳ．若X→Y,且Y→Z，则X→Z
Ⅴ．若X→Y，且X→Z，则X→YZ

A．仅Ⅰ和Ⅲ
B．仅Ⅲ和Ⅴ
C．仅Ⅱ和Ⅳ
D．仅Ⅳ和Ⅴ