What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jennifer is an artist if and only if Linda is bored. Michael is rich. Jennifer is not an artist.
Michael is rich and Jennifer is not an artist. Jennifer is not an artist and Michael is rich. If Jennifer were an artist, then Linda is bored. If Linda were bored, then Jennifer is an artist. Linda is not bored.