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
A generalization is rejected by showing that it fails to hold in one particular instance.