I would like to prove:
$1. \qquad P ∧ ¬Q ∧ R → S \qquad (Premise)$
$2. \qquad ¬(P → S) \qquad (Premise)$
$3. \qquad R → Q \qquad$
with access to these rules (http://imgur.com/kPZEYtG) However I am not sure how to proceed after this step:
As a side note does anyone know how to enter $P ∧ ¬Q ∧ R → S, ¬(P → S) ⊢ R → Q$ into this great online natural deduction with steps tool I am not sure how to enter premises.