All smart people read more than six books per year, and the smartest people read more than twelve books per year. John is not a smart person. If the statements above are correct, which one of the following must be true? ['John reads twelve books per year.', 'John reads more than six books per year.', 'John reads fewer than seven books per year.', 'John reads six books per year.']