Consider the following premises. w_3 -> r_8. s -> w_3. s <-> p. r_8 -> s. ~r_8. Can we infer ~p from them?
 From s -> w_3, w_3 -> r_8 we can infer s -> r_8. From r_8 -> s, s -> r_8 we can infer r_8 <-> s. From r_8 <-> s, ~r_8 we can infer ~s. Finally, from s <-> p, ~s we can infer ~p. Therefore, the answer is yes.