Consider the following premises. Mary is a lawyer or Mary is not sleeping. For all x_12, x_12 is a lawyer if and only if x_12 will sleep. Can we infer the following from them? Mary is a lawyer if and only if Mary is sleeping.
Yes.