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