What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? t or Q(c). forall y: Q(y) -> Q_3(y). Q_3(c) -> s. t -> Q_3(c).
R_1(c) -> t.