Consider the following premises. q_10 -> p_2. p_10 -> q_10. ~p_2. Can we infer p_10 from them? If possible, name the inference rules being used at each step.
 From p_10 -> q_10, q_10 -> p_2 we can infer p_10 -> p_2 via transitivity. Finally, from p_10 -> p_2, ~p_2 we can infer ~p_10 via modus tollens, which contradicts p_10. Therefore, the answer is no.