Consider the following premises. p_14 <-> s. ~q_14. p_14 <-> q_14. s <-> u_4. Can we infer ~u_4 from them?
 From p_14 <-> q_14, ~q_14 we can infer ~p_14. From p_14 <-> s, ~p_14 we can infer ~s. From s <-> u_4 we can infer u_4 -> s. Finally, from u_4 -> s, ~s we can infer ~u_4. Therefore, the answer is yes.