What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Elisabeth is making tea. If Elisabeth makes tea, then Elisabeth is drinking water. If Thomas climbs a mountain, then it is not sunny. It is sunny.
Elisabeth is drinking water. Thomas is not climbing a mountain. Elisabeth is making tea and it is sunny. It is sunny and Elisabeth is making tea.