What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? s_1 -> W_4(a_15). forall x_1: W_4(x_1) -> T(x_1). ~q_1. T(a_15) -> q_1.
~T(a_15).