1. (F v S) > (V * G) 2. F * (C = D) / F * V ------------------------------------- 3. F 2 Simplification 4. F v S 3 Addition 5. V * G 1,4 Modus Ponens 6. V 5 Simplification 7. F * V 3,6 Conjunction