I came across a video on TikTok that formulated the problem of evil as follows: P1. If there is an omniscient, omnipotent, and omnibenevolent God, then he would never allow evil. P2. Evil does exist. C. Therefore, this kind of God does not exist. I am going to attempt to refute P1 using possible worlds semantics and would love feedback. Thanks! --- I can frame P1 in this argument as follows: there is no possible world in which an omni-properties God would ever allow evil. Following after @Tim Howard 's recommended framework for handling arguments, I see three ambiguous terms. They are: 1. The omni-properties (what, exactly, is meant by omniscient, omnipotent, and omnibenevolent) 2. What do we mean exactly by "God"? 3. What is meant when we say "evil"? For the sake of this post, assuming I have defined with my opponent the terms, moving forward with false premises, I do think there is a false premise in P1; for, if it can be shown that God can exist in any possible world that also has evil, then that would be the negation of P1 following what I've learned in Craig/Moreland. If that is the case, then the counter is this: there is some possible world where an omni-properties God exists and evil also exists. To back that claim, I was thinking of using probability in regard to the historicity of the existence of Jesus of Nazareth. If I can show that there is a possible world (to be clear, meaning a world that can actually exist, but isn't the actual world) that a religion which holds Jesus of Nazareth to have been risen from the dead is true, then that would entail an omni-properties God exists in that possible world that also has evil (namely, that Jesus died through crucifixion and God rose him from the dead). Which would then mean that there is some possible world where God exists and evil also exists, which is once again a negation of P1. Once again, I can show this can be the case by simply appealing to the historicity of Jesus of Nazareth to my opponent. Specifically, if one can show that Jesus was not a historical person, then the religions that hold he is are less likely to be true (and may even prove them to be false). Therefore, the opposite is true, namely, that if he was a historical person then that would increase the likelihood of these religions that hold him as a historical person as doctrine, which of course entails that a God exists and the evil of the crucifixion also exists.