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