Consider the following premises. forall x: ~U(x). p. U(j) or q_4. Can we infer p and q_4 from them?
 From forall x: ~U(x) we can infer ~U(j). From U(j) or q_4, ~U(j) we can infer q_4. Finally, from p, q_4 we can infer p and q_4. Therefore, the answer is yes.