I'd agree. I think it would be better to say: "Now that we have developed tools and processes for validating truths against falsehoods which seem to be accurat

I'd agree. I think it would be better to say: "Now that we have developed tools and processes for validating truths against falsehoods which seem to be accurate across all applications thus far - for a religion to exist it must violate one or more of the rules that are true elsewhere or bypass these rules entirely." So "false" vs "unprovable".