What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Barbara is making tea. Linda is drinking water.
Barbara is making tea and Linda is drinking water. Linda is drinking water and Barbara is making tea.