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