Unnamed

1  (1)  ~(~((P & ~((Q & P) v (~Q & ~P))) v (~P & ~~((Q & P) v (~Q & ~P)))) -> Q)  A  
1  (2)  ~((P & ~((Q & P) v (~Q & ~P))) v (~P & ~~((Q & P) v (~Q & ~P)))) & ~Q  1->R  
1  (3)  ~((P & ~((Q & P) v (~Q & ~P))) v (~P & ~~((Q & P) v (~Q & ~P))))  2&B  
1  (4)  ~Q  2&B  
1  (5)  ~(P & ~((Q & P) v (~Q & ~P))) & ~(~P & ~~((Q & P) v (~Q & ~P)))  3 De Morgan  
1  (6)  ~(P & ~((Q & P) v (~Q & ~P)))  5&B  
1  (7)  ~(~P & ~~((Q & P) v (~Q & ~P)))  5&B  
1  (8)  ~~P v ~~~((Q & P) v (~Q & ~P))  7 De Morgan  
9  (9)  ~~P  A  
9  (10)  P  9DN  
1  (11)  ~P v ~~((Q & P) v (~Q & ~P))  6 De Morgan  
12  (12)  ~P  A  
12,9  (13)  ~P & P  12,10&E  
14  (14)  ~~((Q & P) v (~Q & ~P))  A  
14  (15)  (Q & P) v (~Q & ~P)  14DN  
16  (16)  Q & P  A  
16  (17)  Q  16&B  
16  (18)  P  16&B  
16,1  (19)  Q & ~Q  17,4&E  
16,1  (20)  ~P & P  19 e.f.q.  
21  (21)  ~Q & ~P  A  
21  (22)  ~Q  21&B  
21  (23)  ~P  21&B  
21,9  (24)  ~P & P  23,10&E  
21,9  (25)  ~P & P  24 e.f.q.  
14,1,9  (26)  ~P & P  15,16,20,21,25vB  
1,9  (27)  ~P & P  11,12,13,14,26vB  
28  (28)  ~~~((Q & P) v (~Q & ~P))  A  
28  (29)  ~((Q & P) v (~Q & ~P))  28DN  
28  (30)  ~(Q & P) & ~(~Q & ~P)  29 De Morgan  
28  (31)  ~(Q & P)  30&B  
28  (32)  ~(~Q & ~P)  30&B  
28  (33)  ~~Q v ~~P  32 De Morgan  
34  (34)  ~~Q  A  
34  (35)  Q  34DN  
34,1  (36)  Q & ~Q  35,4&E  
34,1  (37)  ~P & P  36 e.f.q.  
38  (38)  ~~P  A  
38  (39)  P  38DN  
28  (40)  ~Q v ~P  31 De Morgan  
41  (41)  ~Q  A  
1  (42)  ~P v ~~((Q & P) v (~Q & ~P))  6 De Morgan  
43  (43)  ~P  A  
43,38  (44)  ~P & P  43,39&E  
43,38  (45)  ~P & P  44 e.f.q.  
46  (46)  ~~((Q & P) v (~Q & ~P))  A  
46  (47)  (Q & P) v (~Q & ~P)  46DN  
48  (48)  Q & P  A  
48  (49)  Q  48&B  
48  (50)  P  48&B  
48,41  (51)  Q & ~Q  49,41&E  
48,41  (52)  ~P & P  51 e.f.q.  
53  (53)  ~Q & ~P  A  
53  (54)  ~Q  53&B  
53  (55)  ~P  53&B  
53,38  (56)  ~P & P  55,39&E  
53,38  (57)  ~P & P  56 e.f.q.  
46,41,38  (58)  ~P & P  47,48,52,53,57vB  
1,41,38  (59)  ~P & P  42,43,45,46,58vB  
60  (60)  ~P  A  
60,38  (61)  ~P & P  60,39&E  
60,38  (62)  ~P & P  61 e.f.q.  
28,1,38  (63)  ~P & P  40,41,59,60,62vB  
28,1  (64)  ~P & P  33,34,37,38,63vB  
1  (65)  ~P & P  8,9,27,28,64vB  
 (66)  ~~(~((P & ~((Q & P) v (~Q & ~P))) v (~P & ~~((Q & P) v (~Q & ~P)))) -> Q)  1,65RAA  
 (67)  ~((P & ~((Q & P) v (~Q & ~P))) v (~P & ~~((Q & P) v (~Q & ~P)))) -> Q  66DN