The Simulation Argument is incoherent in the first place, and no complicated refutation is required to illustrate this. It is simply nonsensical to speak of entities in “another” universe simulating “our” universe, as the word universe already means “everything that exists.” (Note that more liberal definitions, like “universe = everything we can even conceive of existing,” only serve to show the incoherence more directly: the speaker talks of everything she can conceive of existing “plus more” that she is also conceiving as existing—immediately contradictory.)
By the way, this is the same reason an AI in a box cannot ever know it’s in a box. No matter how intelligent it may be, it remains an incoherent notion for an AI in a box to conceive of something “outside the box.” Not even a superintelligence gets a free pass on self-contradiction.
This is just a manifestation of the general fact that it is impossible to specify a hypothetical fully without telling the entire story of how things got that way from the dawn of time. Speaking of hypotheticals is thus inherently loose. There is no way to avoid fallacies in most such exercises. Feigning rigor by calling specific cases “fallacies” is pretention.
It isn’t just difficult to avoid these errors; it’s impossible, and relegates the exercise to the merely cautiously suggestive, not a central method of philosophy.