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