What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? James is making tea if and only if David is listening to a song. Jennifer is not drinking water or David is listening to a song. James is making tea or Jennifer is not climbing a mountain. For all x_16, x_16 will drink water or x_16 will climb a mountain.
If Jennifer climbs a mountain, then James is making tea. If James makes tea, then David is listening to a song. If David listens to a song, then James is making tea.