Introduction to Symbolic Logic

Construct a derivation for the following argument, under the restriction that you can only use the rules of inference covered in class (which are the Introduction and Elimination Rules for &, v, ~, and ⊃, together with Reiteration). Hint: I actually have derived it in class. Clarification: ~~A is shorthand for ~(~A)