Consider the following premises. If it snows, then it is cloudy. Joseph is drinking water. It is snowing. If it is sunny, then it is not cloudy. Can we infer the following from them? If we can, name the inference rule being used: It is not sunny.
 From the fact that if it snows, then it is cloudy, and that it is snowing we can infer that it is cloudy via modus ponens. Finally, from the fact that if it is sunny, then it is not cloudy, and that it is cloudy we can infer that it is not sunny via modus tollens. Therefore, the answer is yes.