Consider the following premises. If William drinks water, then Linda is curious. William is drinking water if and only if Joseph is a soldier. Linda is not curious. Can we infer the following from them? If we can, name the inference rule being used: Joseph is not a soldier or it is late.
 From the fact that if William drinks water, then Linda is curious, and that Linda is not curious we can infer that William is not drinking water via modus tollens. From the fact that William is drinking water if and only if Joseph is a soldier, and that William is not drinking water we can infer that Joseph is not a soldier via biconditional elimination. Finally, from the fact that Joseph is not a soldier we can infer that Joseph is not a soldier or it is late via addition. Therefore, the answer is yes.