>26
x、y、zが有理数ならば、(1)も(2)も(4)も、成立しないという証拠がない。

x、y、zが有理数ならば、(3)は成立しません。
(3)が成立しないならば、(4)も成立しません。