Consider the following premises. r_4 -> p. s <-> p. s -> r_4. Can we infer ~(s -> p) from them?
 From s <-> p we can infer p -> s. Finally, from s -> r_4, r_4 -> p we can infer s -> p, which contradicts ~(s -> p). Therefore, the answer is no.