Consider the following premises. It is windy if and only if Linda is bored. For all x_12, x_12 will sleep if and only if x_12 will cook. Jennifer is cooking if and only if Linda is bored. It is not windy. Can we infer the following from them? If we can, name the inference rule being used: Jennifer is not sleeping.
 From the fact that for all x_12, x_12 will sleep if and only if x_12 will cook we can infer that Jennifer is sleeping if and only if Jennifer is cooking via universal instantiation. From the fact that it is windy if and only if Linda is bored, and that it is not windy we can infer that Linda is not bored via biconditional elimination. From the fact that Jennifer is cooking if and only if Linda is bored, and that Linda is not bored we can infer that Jennifer is not cooking via biconditional elimination. Finally, from the fact that Jennifer is sleeping if and only if Jennifer is cooking, and that Jennifer is not cooking we can infer that Jennifer is not sleeping via biconditional elimination. Therefore, the answer is yes.