Consider the following premises. For all x_10, x_10 is a carpenter if and only if x_10 will go running. For all x_10, x_10 is an electrician. For all x_10, x_10 will go running or x_10 will play squash. For all x_10, x_10 is not a carpenter. Can we infer the following from them? Barbara is playing squash.
 From the fact that for all x_10, x_10 is a carpenter if and only if x_10 will go running, and that for all x_10, x_10 is not a carpenter we can infer that for all x_10, x_10 will not go running. From the fact that for all x_10, x_10 will go running or x_10 will play squash, and that for all x_10, x_10 will not go running we can infer that for all x_10, x_10 will play squash. From the fact that for all x_10, x_10 is an electrician, and that for all x_10, x_10 will play squash we can infer that for all x_10, x_10 is an electrician and x_10 will play squash. From the fact that for all x_10, x_10 is an electrician and x_10 will play squash we can infer that Barbara is an electrician and Barbara is playing squash. Finally, from the fact that Barbara is an electrician and Barbara is playing squash we can infer that Barbara is playing squash. Therefore, the answer is yes.