Consider the following premises. r_3 -> p_5. p_5 <-> r_3. ~r_3. Can we infer ~p_5 from them?
 From p_5 <-> r_3 we can infer p_5 -> r_3. From r_3 -> p_5, p_5 -> r_3 we can infer r_3 <-> p_5. Finally, from r_3 <-> p_5, ~r_3 we can infer ~p_5. Therefore, the answer is yes.