Consider the following premises. For all x_10, if x_10 were fast, then x_10 is an astronaut. For all x_10, if x_10 were an astronaut, then x_10 is fast. If Barbara cooks, then Sarah is an astronaut. Barbara is cooking or Sarah is fast. Can we infer the following from them? Karen is a carpenter.
We cannot infer that from the premises. Therefore the answer is no.