What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? ~q_15. p_12 <-> t. w_2 or p_12. w_2 -> q_15.
~w_2. p_12 -> t. t -> p_12.