Consider the following premises. u_2. p_17 or p. p -> t. p_17 -> t. u_2 -> u. Can we infer t from them? If possible, name the inference rules being used at each step.
We can infer t via the disjunction elimination rule. Therefore, the answer is yes.