What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If William were a taxi driver, then Linda is running. Linda is running if and only if James is sad. If Linda goes running, then William is a taxi driver. James is not sad.
William is a taxi driver if and only if Linda is running. Linda is running if and only if William is a taxi driver. If Linda goes running, then James is sad. If James were sad, then Linda is running. Linda is not running.