Consider the following premises. Robert is not a lawyer or Susan is a server. James is not a sailor. Robert is a lawyer or James is a sailor. Can we infer the following from them? If we can, name the inference rule being used: Susan is not a server.
 From the fact that Robert is a lawyer or James is a sailor, and that Robert is not a lawyer or Susan is a server we can infer that James is a sailor or Susan is a server via resolution. Finally, from the fact that James is a sailor or Susan is a server, and that James is not a sailor we can infer that Susan is a server via disjunctive syllogism, which contradicts that Susan is not a server. Therefore, the answer is no.