Consider the following premises. Karen is a poet if and only if Elisabeth is sleeping. For all x_17, x_17 is not a poet. Elisabeth is sleeping or Karen is not a poet. Can we infer the following from them? Elisabeth is not sleeping.
 From the fact that for all x_17, x_17 is not a poet we can infer that Karen is not a poet. From the fact that Elisabeth is sleeping or Karen is not a poet we can infer that if Karen were a poet, then Elisabeth is sleeping. From the fact that Karen is a poet if and only if Elisabeth is sleeping we can infer that if Elisabeth sleeps, then Karen is a poet. From the fact that if Karen were a poet, then Elisabeth is sleeping, and that if Elisabeth sleeps, then Karen is a poet we can infer that Karen is a poet if and only if Elisabeth is sleeping. Finally, from the fact that Karen is a poet if and only if Elisabeth is sleeping, and that Karen is not a poet we can infer that Elisabeth is not sleeping. Therefore, the answer is yes.