This argument is pretty flawed as you have failed to define either X or Y. If X isn't true, that definitely means that it is something other than X. If we define "something other than X" as Y, then in the event that it isn't X it is definitely Y.
Often the problem with these debates is that...