What a Proof Is · Hard problem

If $x$ and $y$ are rational and $y \ne 0$, then $\dfrac xy$ is rational

If $x^2$ is rational, then $x$ is rational

If $x + y$ is rational, then $x$ and $y$ are rational

If $xy$ is rational and $x \ne 0$, then $y$ is rational