What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Richard is not taking a plane or Michael is playing a game. If Michael plays a game, then Linda is a cashier. Barbara is not a soldier or Jessica is an artist. Jessica is an artist if and only if Linda is a cashier. Barbara is a soldier or Richard is taking a plane.
Richard is taking a plane or Jessica is an artist. If Jessica were an artist, then Linda is a cashier. If Linda were a cashier, then Jessica is an artist.