What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? w -> t_1. t_1 <-> q. p -> w. ~q.
p -> t_1. t_1 -> q. q -> t_1. ~t_1.