Consider the following premises. r_2 <-> w_3. ~p_16. p_16 <-> p_2. ~r_2. Can we infer ~p_2 and ~w_3 from them?
 From p_16 <-> p_2, ~p_16 we can infer ~p_2. From r_2 <-> w_3, ~r_2 we can infer ~w_3. Finally, from ~p_2, ~w_3 we can infer ~p_2 and ~w_3. Therefore, the answer is yes.