Straightforward: 1st or 2nd statement can't be true as this would lead to a contradiction -> last statement is true meaning:
x is not red
y is red
z is not blue -> x is blue, y is red, z is white