A v X
B v Y
C v Z
A v Y
B v X