Please do it with logic 2010, please finished it without Negation of Conditional

Deriv 2.037 T37: =(PQ) # ~(PAQ) Deriv 2.037 T37: ::( PQ) -(PA~Q) 1 Show ( PQ) + ~(PA-Q) 2 Show -(PAQ) ( PQ) 3 ~( PA~Q) 4 Show PQ 5 (PQ) 6 Show P - Q "show conc" "show cond" ass cd "show cons" ass id "Show Unneg 5" ass cd "show cons" ass id 7 8 Show Q ~Q 9 not 10 11 12 Select Rules Print User Check Save Delete Submit ro Advice Deriv 2.037 T37: =(PQ) # ~(PAQ) Deriv 2.037 T37: ::( PQ) -(PA~Q) 1 Show ( PQ) + ~(PA-Q) 2 Show -(PAQ) ( PQ) 3 ~( PA~Q) 4 Show PQ 5 (PQ) 6 Show P - Q "show conc" "show cond" ass cd "show cons" ass id "Show Unneg 5" ass cd "show cons" ass id 7 8 Show Q ~Q 9 not 10 11 12 Select Rules Print User Check Save Delete Submit ro Advice