- If God does not exist, then objective moral values do not exist.
- Evil exists. (Therefore, objective moral values exist.)
- Therefore, God exists.
Therefore, evil actually proves that God exists. Craig writes: "If this argument is correct - and I think it is - it constitutes a decisive refutation of the problem of evil." Namely, not only does existence of evil not provide a reason for denying God's existence, it provides a reason for God's existence.
See Craig, Hard Questions, Real Answers.
(Because, on philosophical naturalism [atheism] objective morality does not exist.
Because, on philosophical naturalism, one cannot derive 'ought' from 'is' [in spite of the protests of Sam Harris].)