Consider the following premises. t_2 -> p_2. t_2 and q_4. Can we infer ~p_2 from them?
 From t_2 and q_4 we can infer t_2. Finally, from t_2 -> p_2, t_2 we can infer p_2, which contradicts ~p_2. Therefore, the answer is no.