What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Joseph is not climbing a mountain. It is cloudy if and only if Joseph is climbing a mountain. It is cloudy if and only if Linda is a janitor.
If it is cloudy, then Joseph is climbing a mountain. If it is cloudy, then Linda is a janitor. If Joseph climbs a mountain, then it is cloudy. If Linda were a janitor, then it is cloudy. It is not cloudy.