Understanding Symbolic Logic, Virgina Klenk, Pearson Prentice Hall, 5th ed., 2008, Unit 8: 7(g), p. 173

1.     (A v F) ⊃ ~ (B • ~ G) 2.     ~ (B ⊃ G) 3.     ~ S ⊃ (~ T ⊃ A) 4.     T ⊃ F ∴ ~ (S ⊃ ~ B) 5.     ~ (~ B v G) 6.     B • ~ G 7.     ~ (A v F) 8.     ~ A • ~ F 9.     ~ F • ~ A 10. ~ F 11. ~ T 12. ~ A 13. ~ T • ~ A 14. ~ ~ ~ T • ~ A 15. ~ (~ ~ T v A) 16. ~ (~ T ⊃ A) 17. S  18. B 19. S • B 20. ~ ~ S • B 21. ~ ~ S • ~ ~ B 22. ~ (~ S v ~ B) 23. ~ (S ⊃ ~ B)

2 Impl 5 DM 1,6 MT 7 DM 8 Com 9 Simp 4,10 MT 8 Simp 11,12 Conj 13 DN 14 DM 15 Impl 3,16 MT 6 Simp 17,18 Conj 19 DN 20 DN 21 DM 22 Impl