What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? James is climbing a mountain and Barbara is bored. Elisabeth is working if and only if it is snowing. Elisabeth is working if and only if Susan is drinking water. It is not snowing.
James is climbing a mountain. Barbara is bored. If Elisabeth works, then it is snowing. If Elisabeth works, then Susan is drinking water. If it snows, then Elisabeth is working. If Susan drinks water, then Elisabeth is working. Elisabeth is not working.