Question 1154594
<pre>

1. G => (S&T)         Premise 
2. (S v T) => J       Premise
3. G                  Premise
4. S & T              3,1 Modus Ponens (MP)
5. S                  4 Simplification (SIMP)
6. S v T              5 Addition (ADD)
7. J                  6,2 MP

--------
There are other ways to go that are equally valid.  One example: we could have used T true on line 5 and ADDed S on line 6.