Consider the following premises. p_10 -> t. ~p_10. t -> p_10. w_3. Can we infer t from them?
 From p_10 -> t, t -> p_10 we can infer p_10 <-> t. Finally, from p_10 <-> t, ~p_10 we can infer ~t, which contradicts t. Therefore, the answer is no.