Consider the following premises. If it is cloudy, then it is raining. Elisabeth is a taxi driver if and only if it is raining. If John were an artist, then it is cloudy. Elisabeth is not a taxi driver. Michael is working if and only if Charles is running. If Charles goes running, then John is an artist. Can we infer the following from them? If we can, name the inference rule being used: Michael is working.
 From the fact that Elisabeth is a taxi driver if and only if it is raining, and that Elisabeth is not a taxi driver we can infer that it is not raining via biconditional elimination. From the fact that if it is cloudy, then it is raining, and that it is not raining we can infer that it is not cloudy via modus tollens. From the fact that if John were an artist, then it is cloudy, and that it is not cloudy we can infer that John is not an artist via modus tollens. From the fact that if Charles goes running, then John is an artist, and that John is not an artist we can infer that Charles is not running via modus tollens. Finally, from the fact that Michael is working if and only if Charles is running, and that Charles is not running we can infer that Michael is not working via biconditional elimination, which contradicts that Michael is working. Therefore, the answer is no.