What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? p_7 -> t_2. r_2 -> t. ~q_1 or p_7. q_1 or q_5. t_2 -> t. ~q_5 or r_2.
p_7 -> t. q_5 or p_7.