Consider the following premises. For all x, x will sleep. If it is sunny, then Jessica is not sleeping. Can we infer the following from them? If we can, name the inference rule being used: It is sunny.
 From the fact that for all x, x will sleep we can infer that Jessica is sleeping via universal instantiation. Finally, from the fact that if it is sunny, then Jessica is not sleeping, and that Jessica is sleeping we can infer that it is not sunny via modus tollens, which contradicts that It is sunny. Therefore, the answer is no.