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