Construct a proof of validity for the following valid argument using the 9 rules of inference.

1. (~M & ~N) > [(M v H) > (K & L)]
2. ~M & (C > D)
3. ~N & (F <> G) / K&~N