What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Thomas is driving a car if and only if it is cloudy. If John goes running, then it is cloudy. If Barbara were a server, then John is running. Barbara is a server.
John is running. If Barbara were a server, then it is cloudy. If Thomas drives a car, then it is cloudy. If it is cloudy, then Thomas is driving a car.