What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Joseph is a lawyer. It is sunny or it is cloudy. If it is sunny, then Linda is a taxi driver. Linda is a taxi driver if and only if it is cloudy.
If Linda were a taxi driver, then it is cloudy. If it is cloudy, then Linda is a taxi driver.