Problem: $1.$ Examine the following argument $($re$-$represent it in standard$/$linear form, formalize it in the language of propositional logic, then prove that it is valid$)$: $"$If murder is not permitted, then not everything is permitted. If God does not exist, then everything is permitted. Murder is not permitted. Therefore, it is not the case that God does not exist." $2.$ Match it to the correct $($albeit simple$)$ proof below. $($The proof is presented in ordinary language rather than formal language.$)$