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