What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: w or q_13. u. ~w. p_3 -> ~q_13.
q_13 can be inferred via the disjunctive syllogism rule. u and ~w can be inferred via the conjunction rule. ~w and u can be inferred via the conjunction rule.