Consider the following premises. If Linda plays squash, then Jessica is sleeping. If Robert goes running, then it is snowing. If it snows, then Jessica is sleeping. It is late or Robert is running. It is not late or Linda is playing squash. Can we infer the following from them? If we can, name the inference rule being used: Jessica is not sleeping.
 From the fact that if Robert goes running, then it is snowing, and that if it snows, then Jessica is sleeping we can infer that if Robert goes running, then Jessica is sleeping via transitivity. From the fact that it is late or Robert is running, and that it is not late or Linda is playing squash we can infer that Robert is running or Linda is playing squash via resolution. Finally, from the fact that if Robert goes running, then Jessica is sleeping, that if Linda plays squash, then Jessica is sleeping, and that Robert is running or Linda is playing squash we can infer that Jessica is sleeping via disjunction elimination, which contradicts that Jessica is not sleeping. Therefore, the answer is no.