What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? p_1 -> w_2. p or p_1. p_7 or ~p. w_2 -> p_7.
p_1 -> p_7. p -> p_7.