What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Linda drinks water, then it is overcast. If it is overcast, then Linda is drinking water. If Linda drinks water, then Jennifer is a mechanic. If Jennifer were a mechanic, then it is overcast.
If it is overcast, then Jennifer is a mechanic. If Linda drinks water, then it is overcast. If Jennifer were a mechanic, then Linda is drinking water. Linda is drinking water if and only if it is overcast. It is overcast if and only if Linda is drinking water.