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

数を入れて、試してください。