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