Question 593930
<pre>
1.   (A v ~B) > (F v (R . G))
2.   A
3.   F > L
4.   (R . G) > T
5.   (L v T) > S                    :. S
--------------------------------------------------------------------------------------------------------------
6.   A v ~B                              2            Addition
7.   F v (R . G)                         1,6          Modus Ponens
8.   (F > L) . ( (R . G) > T )           3,4          Conjunction
9.   L v T                               8,7          Constructive Dilemma
10.  S                                   5,9          Modus Ponens
</pre>