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