What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? S(c) -> p. p -> r. r -> S(c). forall z_1: ~S(z_1).
S(c) -> r. p -> S(c).