Derive the conclusion from the premises:

[44-1] exercise designed to appreciate comparative merit of
cp with the same argument below,
[44-1.1] do the 1st proof without using cp; &
[44-1.2] do the 2nd proof by using cp:
c: m -> r
1: ~m v n
2: ~r -> ~n