Consider the following premises. It is snowing or Richard is an electrician. It is not snowing. It is cold. If Richard were an astronaut, then it is not cold. Can we infer the following from them? If we can, name the inference rule being used: Richard is not an electrician.
 From the fact that if Richard were an astronaut, then it is not cold, and that it is cold we can infer that Richard is not an astronaut via modus tollens. Finally, from the fact that it is snowing or Richard is an electrician, and that it is not snowing we can infer that Richard is an electrician via disjunctive syllogism, which contradicts that Richard is not an electrician. Therefore, the answer is no.