What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is not cloudy. For all x_21, x_21 will play squash if and only if x_21 will cook. Linda is not playing squash if and only if it is overcast. Linda is cooking if and only if it is cloudy.
If Linda doesn't play squash, then it is overcast. If Linda cooks, then it is cloudy. If it is overcast, then Linda is not playing squash. If it is cloudy, then Linda is cooking. Linda is not cooking. For all x_21, if x_21 plays squash, then x_21 is cooking. For all x_21, if x_21 cooks, then x_21 is playing squash.