Consider the following premises. p_3 -> ~q. q. s and p_4. Can we infer ~p_3 and s from them?
 From s and p_4 we can infer s. From p_3 -> ~q, q we can infer ~p_3. Finally, from ~p_3, s we can infer ~p_3 and s. Therefore, the answer is yes.