What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? q -> r_6. p_1 -> q_1. s -> q. q_1 -> s.
p_1 -> s. s -> r_6. q_1 -> q.