@Chelonian Yes, that's how I read the question. I don't think atheism alone can lead to the contradiction he was looking for. Something more is needed. If it could then flipping over to any sort of theism should resolve the issue. Even Plantinga doesn't try to find a contradiction, but only a defeater, a suggestion that something is wrong, with believing in naturalism.