What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? ~r_16. ~w or u. ~t_4 or r_16. t_1. t_4 or w.
~r_16 and t_1. t_1 and ~r_16. w or r_16.