Consider the following premises. ~p. p or ~q_4. p -> q_4. Can we infer q_4 from them?
 From p or ~q_4 we can infer q_4 -> p. From q_4 -> p, p -> q_4 we can infer q_4 <-> p. Finally, from q_4 <-> p, ~p we can infer ~q_4, which contradicts q_4. Therefore, the answer is no.