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