Consider the following premises. q_6 -> t_3. t_3 or ~q_2. p_6 -> q_6. p_6 or q_2. Can we infer ~t_3 from them? If possible, name the inference rules being used at each step.
 From p_6 -> q_6, q_6 -> t_3 we can infer p_6 -> t_3 via transitivity. From t_3 or ~q_2 we can infer q_2 -> t_3 via rewriting. Finally, from p_6 -> t_3, q_2 -> t_3, p_6 or q_2 we can infer t_3 via disjunction elimination, which contradicts ~t_3. Therefore, the answer is no.