Consider the following premises. Susan is not playing tennis. For all x_14, x_14 will not drink water. William is an artist if and only if Susan is playing tennis. Sarah is drinking water if and only if it is cloudy. Can we infer the following from them? If we can, name the inference rule being used: It is cloudy.
 From the fact that William is an artist if and only if Susan is playing tennis, and that Susan is not playing tennis we can infer that William is not an artist via biconditional elimination. From the fact that for all x_14, x_14 will not drink water we can infer that Sarah is not drinking water via universal instantiation. Finally, from the fact that Sarah is drinking water if and only if it is cloudy, and that Sarah is not drinking water we can infer that it is not cloudy via biconditional elimination, which contradicts that It is cloudy. Therefore, the answer is no.