Consider the following premises. p_2 -> ~p_3. w_2 <-> p_2. q_11 -> p_3. p_11 or q_11. p_11 -> p_3. Can we infer w_2 from them?
 From p_11 -> p_3, q_11 -> p_3, p_11 or q_11 we can infer p_3. From p_2 -> ~p_3, p_3 we can infer ~p_2. Finally, from w_2 <-> p_2, ~p_2 we can infer ~w_2, which contradicts w_2. Therefore, the answer is no.