Consider the following premises. s. ~w_2. w_2 <-> r. w -> p_21. p_21 -> ~s. Can we infer r from them?
 From p_21 -> ~s, s we can infer ~p_21. Finally, from w_2 <-> r, ~w_2 we can infer ~r, which contradicts r. Therefore, the answer is no.