For each numbered statement that is not a premise in each of the formal proofs that follow, state the rule of inference that justifies it.

1. (I ꓦ ~~ J) ⋅ K
2. [~ L ⊃ ~ (K ⋅ J)] ⋅
[K ⊃ (I ⊃ ~ M)]
∴ ~ (M ⋅ ~ L)
3. [(K ⋅ J) ⊃ L] ⋅
[K ⊃ (I ⊃ ~ M)]
4. [(K ⋅ J) ⊃ L] ⋅
[(K ⋅ I) ⊃ ~ M]
5. (I ꓦ J) ⋅ K
6. K ⋅ (I ꓦ J)
7. (K ⋅ I) ꓦ (K ⋅ J)
8. (K ⋅ J) ꓦ (K ⋅ I)
9. L ꓦ ~ M
10. ~ M ꓦ L
11. ~ M ꓦ ~~ L
12. ~ (M ⋅ ~ L)