若A(X,Y)和A(Y,Z)为真,则A(X,Z)为真
若A(X,Y)和E(Y,Z)为真,则E(X,Z)为真
若I(X,Y)和A(Y,Z)为真,则I(X,Z)为真
若A(X,Y)和O(Y,Z)为真,则O(X,Z)为真