Consider the following premises. p_2 -> ~U_3(h_2). forall x: U_3(x). s -> p_2. Can we infer s from them?
 From forall x: U_3(x) we can infer U_3(h_2). From p_2 -> ~U_3(h_2), U_3(h_2) we can infer ~p_2. Finally, from s -> p_2, ~p_2 we can infer ~s, which contradicts s. Therefore, the answer is no.