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