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