Consider the following premises. If it is late, then Joseph is not a sailor. If it is not late, then Thomas is drinking water. Joseph is a sailor. If James were a doctor, then Thomas is drinking water. Can we infer the following from them? If we can, name the inference rule being used: Thomas is not drinking water.
 From the fact that if it is late, then Joseph is not a sailor, and that Joseph is a sailor we can infer that it is not late via modus tollens. From the fact that it is not late we can infer that it is not late or James is a doctor via addition. Finally, from the fact that if it is not late, then Thomas is drinking water, that if James were a doctor, then Thomas is drinking water, and that it is not late or James is a doctor we can infer that Thomas is drinking water via disjunction elimination, which contradicts that Thomas is not drinking water. Therefore, the answer is no.