(C1) follows of necessity. To show that the first premise is plausible, subsequent versions tend to expand on it, such as this modern example:

Both of these arguments are understood to be presenting two forms of the 'logical' problem of evil. They attempt to show that the assumed premises lead to a logical contradiction that cannot all be correct. Most philosophical debate has focused on the suggestion that God would want to prevent all evils and therefore cannot