premise: Rose has only visited Atchison, Amsterdam, Naugatuck, Belle Glade, Boone, Yankton, Jamestown, Lompoc, Homestead, Charleston, Ashland, Alva, Casper, Harlan, New Windsor and Reston
hypothesis: Julie didn't visit Ashland