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