Consider the following premises. If Thomas were an electrician, then it is not sunny. If Mary were excited, then it is sunny. For all x_12, x_12 is sad or x_12 is excited. If Mary were sad, then it is sunny. Can we infer the following from them? Thomas is not an electrician.
 From the fact that for all x_12, x_12 is sad or x_12 is excited we can infer that Mary is sad or Mary is excited. From the fact that if Mary were sad, then it is sunny, that if Mary were excited, then it is sunny, and that Mary is sad or Mary is excited we can infer that it is sunny. Finally, from the fact that if Thomas were an electrician, then it is not sunny, and that it is sunny we can infer that Thomas is not an electrician. Therefore, the answer is yes.