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