Use all the rules of inference (eight implication rules and ten replacement rules) to complete the proofs. Provide the justification for each step that you derive.

[P ⊃ (Q . R)] * [S ⊃ (L . Q)]
P.
a) Simplification
b) Modus Ponens
c) Addition
d) Modus Tollens