What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? p_6 -> W_1(c_2). forall y_3: P(y_3) -> W_1(y_3). p_6 or P(c_2). p_11 or ~W_1(c_2).
R_1(c_2) -> p_6. W_1(c_2) -> p_11.