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