Consider the following premises. q_8 -> p. s or ~p. s -> q_8. Can we infer p -> s from them?
 From s -> q_8, q_8 -> p we can infer s -> p. Finally, from s or ~p we can infer p -> s. Therefore, the answer is yes.