What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Elisabeth is a soldier if and only if it is cold. If Barbara goes running, then Jennifer is drinking water. If Jennifer drinks water, then Elisabeth is a soldier.
If Barbara goes running, then Elisabeth is a soldier. If Elisabeth were a soldier, then it is cold. If it is cold, then Elisabeth is a soldier.