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