Consider the following premises. q_6 -> t_1. t_1 -> p. s_2 or q_6. s_2 -> t_1. Can we infer p from them?
 From s_2 -> t_1, q_6 -> t_1, s_2 or q_6 we can infer t_1. Finally, from t_1 -> p, t_1 we can infer p. Therefore, the answer is yes.