Consider the following premises. For all y_2, y_2 is a taxi driver. Jennifer is drinking water and Richard is driving a car. Can we infer the following from them? Joseph is not a taxi driver.
That contradicts the premises. Therefore the answer is no.