Consider the following premises. If Jessica cooks, then Thomas is an electrician. Jessica is cooking or it is late. Mary is a sailor. Thomas is an electrician or it is not late. Can we infer the following from them? If we can, name the inference rule being used: Thomas is not an electrician.
 From the fact that Thomas is an electrician or it is not late we can infer that if it is late, then Thomas is an electrician via rewriting. Finally, from the fact that if Jessica cooks, then Thomas is an electrician, that if it is late, then Thomas is an electrician, and that Jessica is cooking or it is late we can infer that Thomas is an electrician via disjunction elimination, which contradicts that Thomas is not an electrician. Therefore, the answer is no.