All the books in the library have their proper shelf locations recorded in the catalog  The book Horatio wants is missing from its place on the library shelves, and no one in the library is using it
Since it is not checked out to a borrower nor awaiting shelving nor part of a special display, it must have been either misplaced or stolen
The conclusion is supported by ruling out other possible explanations of an observed fact.