Consider the following premises. w_3 -> U(c). forall y: U(y) <-> Q(y). Q(c). Can we infer U(c) from them?
 From forall y: U(y) <-> Q(y) we can infer U(c) <-> Q(c). From Q(c) we can infer Q(c) or w_3. From U(c) <-> Q(c) we can infer Q(c) -> U(c). Finally, from Q(c) -> U(c), w_3 -> U(c), Q(c) or w_3 we can infer U(c). Therefore, the answer is yes.