Consider the following premises. For all x_8, x_8 will read a book. For all x_7, x_7 will sleep if and only if x_7 will read a book. Can we infer the following from them? Patricia is not bored.
We cannot infer that from the premises. Therefore the answer is no.