Consider the following premises. ~u_1 <-> q_1. ~q. u_1 -> q. Can we infer ~q_1 from them?
 From u_1 -> q, ~q we can infer ~u_1. From ~u_1 <-> q_1 we can infer ~u_1 -> q_1. Finally, from ~u_1 -> q_1, ~u_1 we can infer q_1, which contradicts ~q_1. Therefore, the answer is no.