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