Consider the following premises. Richard is a server or Jennifer is not a sailor. Richard is not a server. If Richard were a server, then Jennifer is a sailor. Can we infer the following from them? Jennifer is not a sailor.
 From the fact that Richard is a server or Jennifer is not a sailor we can infer that if Jennifer were a sailor, then Richard is a server. From the fact that if Richard were a server, then Jennifer is a sailor, and that if Jennifer were a sailor, then Richard is a server we can infer that Richard is a server if and only if Jennifer is a sailor. From the fact that Richard is a server if and only if Jennifer is a sailor we can infer that if Jennifer were a sailor, then Richard is a server. Finally, from the fact that if Jennifer were a sailor, then Richard is a server, and that Richard is not a server we can infer that Jennifer is not a sailor. Therefore, the answer is yes.