7) A        IP
8) ~~A      7 DN
9) ~B       8, 2 DS
10) A       9, 1 DS
11) A&A     7, 10 Conj

6) A -> B   5 Simp
--> 7) A        IP
--> 8) B        6, 7 MP
--> 9) ~~A      7 DN
--> 10) ~B      8, 2 DS
--> 11) B&~B    8, 10 Conj
12) ~A      7-11 IP

12) ~A
13) ~B      6, 12 MT
14) A       13, 1 DS

12) ~A
13) ~B
14) B       1, 12 DS
15) B&~B    13, 14 Conj