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