What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is overcast if and only if Elisabeth is an astronaut. Elisabeth is an astronaut if and only if Karen is cooking. It is overcast or Karen is not cooking.
If Karen cooks, then it is overcast. If it is overcast, then Elisabeth is an astronaut. If Elisabeth were an astronaut, then Karen is cooking. If Elisabeth were an astronaut, then it is overcast. If Karen cooks, then Elisabeth is an astronaut.