Consider the following premises. r_13 -> t_3. p_13 -> t. t -> r_13. q_2 -> p_13. t_3 -> q_2. Can we infer p_13 -> t_3 from them? If possible, name the inference rules being used at each step.
 From p_13 -> t, t -> r_13 we can infer p_13 -> r_13 via transitivity. Finally, from p_13 -> r_13, r_13 -> t_3 we can infer p_13 -> t_3 via transitivity. Therefore, the answer is yes.