Consider the following premises. u_3 -> q_10. t_2 or u_3. q_10 -> p. ~t_2. Can we infer p from them?
 From u_3 -> q_10, q_10 -> p we can infer u_3 -> p. From t_2 or u_3, ~t_2 we can infer u_3. Finally, from u_3 -> p, u_3 we can infer p. Therefore, the answer is yes.