Consider the following premises. If it snows, then Richard is drinking water. If Richard drinks water, then William is running. It is snowing or William is not running. Richard is not drinking water. Can we infer the following from them? William is not running.
 From the fact that it is snowing or William is not running we can infer that if William goes running, then it is snowing. From the fact that if William goes running, then it is snowing, and that if it snows, then Richard is drinking water we can infer that if William goes running, then Richard is drinking water. From the fact that if William goes running, then Richard is drinking water, and that if Richard drinks water, then William is running we can infer that William is running if and only if Richard is drinking water. Finally, from the fact that William is running if and only if Richard is drinking water, and that Richard is not drinking water we can infer that William is not running. Therefore, the answer is yes.