Consider the following premises. w <-> t_1. w_1 -> w. w_1 or p_2. p_2 -> t_1. Can we infer w from them?
 From w <-> t_1 we can infer t_1 -> w. From p_2 -> t_1, t_1 -> w we can infer p_2 -> w. Finally, from w_1 -> w, p_2 -> w, w_1 or p_2 we can infer w. Therefore, the answer is yes.