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