Consider the following premises. q_17 <-> w. p. w <-> u. p_17 <-> q_17. ~p_17. Can we infer p and ~u from them?
 From p_17 <-> q_17, ~p_17 we can infer ~q_17. From q_17 <-> w, ~q_17 we can infer ~w. From w <-> u, ~w we can infer ~u. Finally, from p, ~u we can infer p and ~u. Therefore, the answer is yes.