そんなのそもそも成立しないのでは?
AB≠ACの場合ですよ?