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