premise: Naomi has only visited Carbondale, Astoria, Sudbury, Libertyville, Point Pleasant, Saint Joseph, Danville, Bath, New Madrid, Milbank, Clifton, Bridgeton, Madison, Wabash, Michigan and West Seneca
hypothesis: Naomi didn't visit Michigan