When (5) is conjoined with the reductio assumption that God exists, it follows via modus ponens from...