frapbak

I had to prove the following argument using 10 primitive inference rules (arrow in & out; ampersand in & out; dash in & out; wedge in &out; double arrow in & out; and 8 derived inference rules (Modus Tollens, Disjunctive Argument, Conjunctive Argument, Chain Argument, Double Negation, De Morgan's Law, Arrow, Contraposition). This is what I've come up with, would be grateful if someone could check it: