Consider the following premises. w_3. p_3 -> ~t_3. w_3 -> u. t_3. Can we infer u and ~p_3 from them?
 From w_3 -> u, w_3 we can infer u. From p_3 -> ~t_3, t_3 we can infer ~p_3. Finally, from u, ~p_3 we can infer u and ~p_3. Therefore, the answer is yes.