premise: Hattie has only visited Oak Park, San Juan Capistrano, Crawfordsville, Natick, Torrington, Columbia, Manhattan, Miami, Union, Saint Louis, Lahaina, Charlotte, Lafayette, Flagstaff, Belle Fourche, Altoona, Anderson, Pharr and Hanover
hypothesis: Cheryl didn't visit Charlotte