We have established that there was a book, in fact, three books. 
There are three books.
mnli hypothesis: There are three books. premise: We have established that there was a book, in fact, three books. 