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