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