>315
>> z=5,y=3のとき(3)が成り立たないので、z=5,y=3のとき(1),(2)も成り立たない。……(a)
貴方の主張だよね。

z=5,y=3のとき(2)が成り立つので、z=5,y=4のとき(3)が成り立ちます。

> しかし実際にはz=5,y=3のとき(2)が成り立つ。
この事実があるわけだよね。

そうです。

よって、(a)「(3)が成り立たないならば、(1),(2)も成り立たない」は間違っているよね。

「(3)が成り立たないならば、(1),(2)も成り立たない」は間違っていません。

貴方が「(2)は成り立たない」って言ってんのに、
実際には「(2)が成り立っている」わけだから、
貴方の主張(a)は間違いだよね、って話。

(2)はz=5,y=3のとき成り立ちます。