Consider the following premises. Joseph is not bored or Richard is a server. Joseph is a carpenter. For all x_17, if x_17 were a carpenter, then x_17 is bored. Can we infer the following from them? Karen is making tea.
We cannot infer that from the premises. Therefore the answer is no.