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