God formally disproven

[Mister Agenda]

And that's the core of the problem with theodicy. You just can't have omnipotence, omniscience, and omnibenevolence in the same package. One of them has to be weakened to support the others. You can have a very powerful and wise God who isn't omnipotent or omniscient but is omnibenevolent, and is doing the best it can (my favorite version). You can have an omnipotent or omniscient God who values some things (like free will, perhaps) more than benevolence. I recommend jettisoning omnipotence and omniscience, as they are mutually exclusive: an omnipotent being can do anything and an omniscient being can only do what it already knows it will do. Theodicy is clearly the results of generations of claiming 'my God is better than your God', which has resulted in a contradictory pile of omni-attributes. Drop 'omni' altogether and go with the most powerful and knowledgeable bloke in or out of the universe, with lots to keep track of in an existence that is necessarily imperfect.