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