Consider the following premises. forall x_11: ~U_2(x_11). r. forall x_11: U_2(x_11) or Q(x_11). Can we infer r -> Q(e_3) from them? If possible, name the inference rules being used at each step.
We cannot infer that from the premises. Therefore the answer is no.