Consider the following premises. w and q_14. w -> q_1. w_1. Can we infer q_1 and w_1 from them?
 From w and q_14 we can infer w. From w -> q_1, w we can infer q_1. Finally, from q_1, w_1 we can infer q_1 and w_1. Therefore, the answer is yes.