Consider the following premises. p -> ~w_2. t_2 -> w_2. t_2 or p_12. p_12 <-> w_2. Can we infer p from them?
 From p_12 <-> w_2 we can infer p_12 -> w_2. From t_2 -> w_2, p_12 -> w_2, t_2 or p_12 we can infer w_2. Finally, from p -> ~w_2, w_2 we can infer ~p, which contradicts p. Therefore, the answer is no.