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