What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? ~w or r_20. r_15 -> q_1. w or t_4. r_20 -> r_15. t_4 -> r_15.
r_20 -> q_1. t_4 -> q_1. t_4 or r_20.