Consider the following premises. p_3 -> ~r_15. s_1 -> r_15. q_15 -> r_15. w_3 -> p_3. s_1 or q_15. Can we infer w_3 from them? If possible, name the inference rules being used at each step.
 From s_1 -> r_15, q_15 -> r_15, s_1 or q_15 we can infer r_15 via disjunction elimination. From p_3 -> ~r_15, r_15 we can infer ~p_3 via modus tollens. Finally, from w_3 -> p_3, ~p_3 we can infer ~w_3 via modus tollens, which contradicts w_3. Therefore, the answer is no.