Consider the following premises. w <-> q_4. w_3 or ~w. Can we infer q_4 -> w_3 from them?
 From w_3 or ~w we can infer w -> w_3. From w <-> q_4 we can infer q_4 -> w. Finally, from q_4 -> w, w -> w_3 we can infer q_4 -> w_3. Therefore, the answer is yes.