Consider the following premises. Sarah is an artist or Sarah is not running. For all y, y will go running if and only if y is an artist. Can we infer the following from them? Sarah is running if and only if Sarah is an artist.
Yes.