Consider the following premises. Thomas is not cooking. Thomas is cooking or Michael is taking a plane. If Michael takes a plane, then Charles is a scientist. Can we infer the following from them? If we can, name the inference rule being used: Charles is not a scientist.
 From the fact that Thomas is cooking or Michael is taking a plane, and that Thomas is not cooking we can infer that Michael is taking a plane via disjunctive syllogism. Finally, from the fact that if Michael takes a plane, then Charles is a scientist, and that Michael is taking a plane we can infer that Charles is a scientist via modus ponens, which contradicts that Charles is not a scientist. Therefore, the answer is no.