Consider the following premises. There is at least one x for which if x writes a letter, then x is driving a car. For all x, if x drives a car, then x is cooking. Can we infer the following from them? There is at least one x for which if x writes a letter, then x is cooking.
Yes.