What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Linda is not sleeping. If Elisabeth drives a car, then William is a server. If it is sunny, then William is a server. Elisabeth is driving a car or it is sunny. Linda is running if and only if Linda is sleeping.
William is a server. If Linda goes running, then Linda is sleeping. If Linda sleeps, then Linda is running. Linda is not running.