Consider the following premises. p_7 or ~q. r -> q_3. q_3 -> r. p_7 -> r. Can we infer q -> q_3 from them?
 From r -> q_3, q_3 -> r we can infer r <-> q_3. From r <-> q_3 we can infer r -> q_3. From p_7 or ~q we can infer q -> p_7. From q -> p_7, p_7 -> r we can infer q -> r. Finally, from q -> r, r -> q_3 we can infer q -> q_3. Therefore, the answer is yes.