What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? p_2 -> r_3. forall y: W(y) -> T_3(y). p_2 <-> T_3(h_2). r_3 -> W(h_2).
p_2 -> W(h_2). p_2 -> T_3(h_2). T_3(h_2) -> p_2.