What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is windy if and only if Linda is an office clerk. It is windy if and only if Linda is an office clerk.
If it is windy, then Linda is an office clerk. If it is windy, then Linda is an office clerk. If Linda were an office clerk, then it is windy. If Linda were an office clerk, then it is windy.