1. (F v G) ⊃ ~A 2. A v W 3. F • T /∴ W ---------------------------------------------------- 4. F 3 Simplification 5. F v G 4 Addition 6. ~A 1,5 Modus Ponens 7. W 2,6 Disjunction Syllogism QED