What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Jennifer plays tennis, then it is raining. If Linda were a sailor, then Thomas is working. If Thomas works, then Jennifer is playing tennis. If it rains, then Mary is making tea.
If Jennifer plays tennis, then Mary is making tea. If Linda were a sailor, then Jennifer is playing tennis. If Thomas works, then it is raining.