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