Consider the following premises. p_3 or ~q. ~p_14 or u. ~q. p_3 -> q. p_14 or p_3. Can we infer ~u from them?
 From p_14 or p_3, ~p_14 or u we can infer p_3 or u. From p_3 or ~q we can infer q -> p_3. From q -> p_3, p_3 -> q we can infer q <-> p_3. From q <-> p_3, ~q we can infer ~p_3. Finally, from p_3 or u, ~p_3 we can infer u, which contradicts ~u. Therefore, the answer is no.