Symbolize and construct a proof for the following argument, list steps and rules.

Rules: These are the rules you can use: modus ponens, modus tollens, hypothetical syllogism, simplification, conjunction, disjunctive syllogism, addition, dilemma, double negation, commutation, association, duplication, DeMorgans, biconditional Exchange, contraposition, conditional exchange, exportation, distribution, conditional proof & indirect proof. DO NOT USE OTHER RULES.

Argument: If Mike is incorrect only if Layla is quiet and Nancy is absurd, then Paula is correct. If Sarah is angry only if Mike is incorrect, Paula is correct. Therefore, Paula is correct