Consider the following premises. If Susan reads a book, then it is cloudy. If it is cloudy, then Susan is a sailor. For all x_12, x_12 will read a book if and only if x_12 is a sailor. Can we infer the following from them? Susan is reading a book if and only if Susan is a sailor.
Yes.