Consider the following premises. David is sleeping. John is a soldier if and only if Jessica is curious. Jessica is curious if and only if it is late. If John were a soldier, then David is not sleeping. Can we infer the following from them? If we can, name the inference rule being used: David is sleeping.
That is one of the premises. Therefore, the answer is yes.