I'm utterly stuck with no where to go. The assignment is to complete the indirect proof. I'm stuck on the following step, and have no clue how to proceed. Where do I go? Also, pardon the poor formatting. I have no clue how properly format here. I can't space it like I'd like, or use the symbol I'd like.
$ p \rightarrow t, s \rightarrow r \lor \neg t, q \land s \vdash \neg p \land q \lor r$
$\begin{array}{l|ll} 1.& p\to t &\text{Premise} \\2.& s\to r \lor\lnot t &\text{Premise} \\3.& q\land s &\text{Premise} \\4.& \quad \lnot(\lnot p\land q \lor r) &\text{Assumption} \\5.& \quad s &\text{Simplification (Premise 3)} \\6.& \quad q &\text{Simplification (Premise 3)} \\7.& \quad r \lor \lnot t &\text{Modus Ponens (Premise 2 & 5)} \\8.& \quad p \lor \lnot q ~\land~ \lnot r &\text{DeMorgans (Premise 4)} \\9.& \quad (p \lor\lnot q)\land (p \lor \lnot r) &\text{Distributive (Premise 8)} \\10.& \quad \lnot q \lor p &\text{Simplification (Premise 9)} \\11.& \quad q \to p &\text{Law of Implication (Premise 10)} \\12.& \quad p &\text{Modus Ponens (Premise 11 & 6)} \\13.& \quad t &\text{Modus Ponens (Premise 1 & 12)} \\14.& \quad r &\text{Disjunctive Syllogism (Premise 7 & 13)} \\15.&& \text{Cry because I'm stuck here}\end{array}$