What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? q. p_4 <-> r. ~s. r <-> s.
q and ~s. ~s and q. p_4 -> r. r -> s. r -> p_4. s -> r. ~r.