X : (X + Z) ~Y
Y : X + Y + Z
Z : X + Y + Z
