Consider the following premises. u_1 or u. ~u_1 or q. p. ~u. Can we infer ~u_1 or q from them? If possible, name the inference rules being used at each step.
That is one of the premises. Therefore, the answer is yes.