Suppose J.K. Rowling is the author of the famous Harry Potter book series, first published in 1997 with the book "Harry Potter and the Philosopher's Stone".
Can we infer that "The first Harry Potter book was published in 2000."?