Consider the following premises. p_15 or p_1. ~p_15. u and r. q_10. Can we infer ~p_1 from them? If possible, name the inference rules being used at each step.
 From u and r we can infer u via simplification. Finally, from p_15 or p_1, ~p_15 we can infer p_1 via disjunctive syllogism, which contradicts ~p_1. Therefore, the answer is no.