For the following proof, indicate from which steps each inference is drawn and by which rule the inference is made. ~[(A . B) v C] ~(D v ~A) // ~(B v...

For the following proof, indicate from which steps each inference is drawn and by which rule the inference is made.

1. ~[(A . B) v C]
2. ~(D v ~A) // ∴
3.  ~(B v D)
4. ~(A . B) . ~C
5. ~C
6. ~D .~~A
7. ~D
8. ~(A . B)
9. ~A v ~B
10. ~~A
11. ~B
12. ~B . ~D
13. ~(B v D)