Consider the following premises. p_14 -> p_2. p_14 and q_14. p -> ~p_2. Can we infer ~p from them? If possible, name the inference rules being used at each step.
 From p_14 and q_14 we can infer p_14 via simplification. From p_14 -> p_2, p_14 we can infer p_2 via modus ponens. Finally, from p -> ~p_2, p_2 we can infer ~p via modus tollens. Therefore, the answer is yes.