Consider the following premises. It is cloudy if and only if William is driving a car. If William drives a car, then it is overcast. It is not overcast. Can we infer the following from them? If we can, name the inference rule being used: It is cloudy.
 From the fact that if William drives a car, then it is overcast, and that it is not overcast we can infer that William is not driving a car via modus tollens. Finally, from the fact that it is cloudy if and only if William is driving a car, and that William is not driving a car we can infer that it is not cloudy via biconditional elimination, which contradicts that It is cloudy. Therefore, the answer is no.