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