What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Richard were a soldier, then Elisabeth is excited. If Linda were an artist, then Richard is a soldier. Linda is an artist or Elisabeth is not excited.
If Linda were an artist, then Elisabeth is excited. If Elisabeth were excited, then Linda is an artist.