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