Question 690044
<pre>
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
</pre>