Okay, since this is becoming kind of a minor seminar in logic, let's see what we can do with Mike's argument here. I think the following premises accurately reflect Mike's stated position. Note that I am not addressing whether I think the premises factual.
Premise: There are an unknown number of religions in the set X.
Premise: All X are either true (T) or false (F).
Premise: If one out of the set X is T, all others are F.
Mike concludes:
Therefore X-1 must be F.
Also valid, I think, as far as it goes. We are next presented with a question.
Of the two positions, "All X are F" and "Of X, X-1 are F and 1 is T", which is the more logical? I leave that question to the public, and especially to MTW.
By the way, thanks for the specific invitation, MTW.