Consider the following premises. w. w -> w_4. q and w_3. Can we infer q and w_4 from them?
 From q and w_3 we can infer q. From w -> w_4, w we can infer w_4. Finally, from q, w_4 we can infer q and w_4. Therefore, the answer is yes.