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