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