Consider the following premises. p_6 -> w_2. r_3 <-> r. r <-> p_6. ~w_2. Can we infer ~r_3 from them? If possible, name the inference rules being used at each step.
 From p_6 -> w_2, ~w_2 we can infer ~p_6 via modus tollens. From r <-> p_6, ~p_6 we can infer ~r via biconditional elimination. Finally, from r_3 <-> r, ~r we can infer ~r_3 via biconditional elimination. Therefore, the answer is yes.