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