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