Consider the following premises. If it snows, then it is not overcast. It is overcast. If it doesn't snow, then it is cloudy. Thomas is driving a car. Can we infer the following from them? If we can, name the inference rule being used: It is not cloudy.
 From the fact that if it snows, then it is not overcast, and that it is overcast we can infer that it is not snowing via modus tollens. Finally, from the fact that if it doesn't snow, then it is cloudy, and that it is not snowing we can infer that it is cloudy via modus ponens, which contradicts that It is not cloudy. Therefore, the answer is no.