Consider the following premises. For all x, x is a musician or x will play squash. There is at least one x for which if x were a musician, then x is curious. For all x, if x were curious, then x is a musician. For all x, x is not excited. For all x, x is excited if and only if x is curious. Can we infer the following from them? For all x, x will not play squash.
 From the fact that for all x, x is excited if and only if x is curious, and that for all x, x is not excited we can infer that for all x, x is not curious. From the fact that there is at least one x for which if x were a musician, then x is curious, and that for all x, if x were curious, then x is a musician we can infer that there is at least one x for which x is a musician if and only if x is curious. From the fact that there is at least one x for which x is a musician if and only if x is curious, and that for all x, x is not curious we can infer that there is at least one x for which x is not a musician. Finally, from the fact that for all x, x is a musician or x will play squash, and that there is at least one x for which x is not a musician we can infer that there is at least one x for which x will play squash, which contradicts that For all x, x will not play squash. Therefore, the answer is no.