Complete the formal proof of ((~QvP)vRJv(SvT) from ~~~~~Q. Note: ~Elim only allows you to drop 2 negations at a time:
1. ~~~~~Q Premise
2. ~~~Q ~Elim
3. ~Q ~Elim
4. ~QvP addition
5. (~QvP)vP addition
6. (~QvP)vRJv(SvT) addition