Classically, then, if two real numbers are not equal, one would conclude that there exists a rational number between them, however it does not follow that one can actually construct such a number.
There exists a rational number between them. Classically one would conclude this. This is then. Two real numbers are not equal. One can actually construct such a number. It does not follow this. This is classically.