What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is raining if and only if Linda is cooking. It is raining if and only if Susan is driving a car.
If it rains, then Linda is cooking. If it rains, then Susan is driving a car. If Linda cooks, then it is raining. If Susan drives a car, then it is raining.