Consider the following premises. t -> s. ~s. ~q_1. p <-> q_1. Can we infer ~t and ~p from them?
 From t -> s, ~s we can infer ~t. From p <-> q_1, ~q_1 we can infer ~p. Finally, from ~t, ~p we can infer ~t and ~p. Therefore, the answer is yes.