Consider the following premises. p_2 or t. t -> q_15. q_15 -> t. ~q_15. Can we infer ~p_2 from them?
 From t -> q_15, q_15 -> t we can infer t <-> q_15. From t <-> q_15, ~q_15 we can infer ~t. From p_2 or t we can infer ~t -> p_2. Finally, from ~t -> p_2, ~t we can infer p_2, which contradicts ~p_2. Therefore, the answer is no.