A diferença entre a metade de e o dobro de 7

Mais um curioso paradoxo divisado pelo matemágico Raymond Smullyan. Considere dois inteiros positivos, x e y. Um é o dobro do outro, mas não sabemos qual é. Assim, conclui-se que:

• Se x é maior que y, segue-se que x = 2y e a diferença entre x e y é igual a y. Por outro lado, se y é o maior valor, então x = 0,5y e a diferença entre as incógnitas é expressa por y – 0,5y = 0,5y. Como y é maior que 0,5y, podemos dizer genericamente que, se x > y, a diferença de x e y é maior do que a diferença de y e x, se y > x.

• Se d é a diferença entre x e y, isso é o mesmo que dizer que d tem o mesmo valor do menor número. Assim, geralmente, o excesso de x em relação a y, se x > y, é igual ao excesso de y em relação a x, se y > x.

As duas conclusões possíveis estão em clara contradição. Qual é o problema?