Consider the following premises. p_4 or w_2. t_2 -> p. w_2 -> t_2. ~p_4. Can we infer ~p from them? If possible, name the inference rules being used at each step.
 From w_2 -> t_2, t_2 -> p we can infer w_2 -> p via transitivity. From p_4 or w_2, ~p_4 we can infer w_2 via disjunctive syllogism. Finally, from w_2 -> p, w_2 we can infer p via modus ponens, which contradicts ~p. Therefore, the answer is no.