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