Consider the following premises. u_3 -> ~u_4. p_2 -> q_2. ~q_2. u_4. Can we infer ~u_3 and ~p_2 from them?
 From u_3 -> ~u_4, u_4 we can infer ~u_3. From p_2 -> q_2, ~q_2 we can infer ~p_2. Finally, from ~u_3, ~p_2 we can infer ~u_3 and ~p_2. Therefore, the answer is yes.