Consider the following premises. s_4 -> ~q_11. u_4. s_4 or q_4. q_11. Can we infer ~q_4 from them?
 From s_4 -> ~q_11, q_11 we can infer ~s_4. Finally, from s_4 or q_4, ~s_4 we can infer q_4, which contradicts ~q_4. Therefore, the answer is no.