premise: Jan has visited Ocean City, Charlotte, Crystal City, Odessa, Compton, Saint Marys City, Newport, Richmond, Florida, Mount Pleasant, Elmhurst, Branford and Houston
hypothesis: Jan has visited less than twelve places