What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is windy, then it is cold. Richard is an artist if and only if it is windy. Richard is an artist and Susan is climbing a mountain.
Richard is an artist. Susan is climbing a mountain. If Richard were an artist, then it is windy. If it is windy, then Richard is an artist.