Consider the following premises. If it is overcast, then Jennifer is sad. It is sunny and Charles is a cashier. If Jennifer were sad, then David is a musician. It is overcast. Can we infer the following from them? If we can, name the inference rule being used: It is not sunny.
 From the fact that if it is overcast, then Jennifer is sad, and that it is overcast we can infer that Jennifer is sad via modus ponens. From the fact that if Jennifer were sad, then David is a musician, and that Jennifer is sad we can infer that David is a musician via modus ponens. Finally, from the fact that it is sunny and Charles is a cashier we can infer that it is sunny via simplification, which contradicts that It is not sunny. Therefore, the answer is no.