Consider the following premises. Elisabeth is curious or Mary is a carpenter. Thomas is playing a game if and only if Elisabeth is curious. For all z, z will not play a game. Can we infer the following from them? Mary is a carpenter.
 From the fact that for all z, z will not play a game we can infer that Thomas is not playing a game. From the fact that Thomas is playing a game if and only if Elisabeth is curious, and that Thomas is not playing a game we can infer that Elisabeth is not curious. Finally, from the fact that Elisabeth is curious or Mary is a carpenter, and that Elisabeth is not curious we can infer that Mary is a carpenter. Therefore, the answer is yes.