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