1. (E v ~B)>(~S v T) 2. E 3. ~S > L 4. T > ~C 5. (L v ~C) > A :. A ------------------------------------------------------- 6. E v ~B 2 Addition 7. ~S v T 1,6 Modus Ponens 8. (~S > L) . (T > ~C) 3,4 Conjunction 9. L v ~C 8,7 Constructive Dilemma 10. A 5,9 Modus Ponens