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