Consider the following premises. p_10. p_10 -> p_1. r -> ~q_20. q_20. w <-> r. Can we infer p_1 and ~w from them?
 From r -> ~q_20, q_20 we can infer ~r. From p_10 -> p_1, p_10 we can infer p_1. From w <-> r, ~r we can infer ~w. Finally, from p_1, ~w we can infer p_1 and ~w. Therefore, the answer is yes.