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