Consider the following premises. p_4 or ~q. ~t_4. p_4 <-> t_4. Can we infer ~q from them?
 From p_4 <-> t_4, ~t_4 we can infer ~p_4. From p_4 or ~q we can infer q -> p_4. Finally, from q -> p_4, ~p_4 we can infer ~q. Therefore, the answer is yes.