premise: Everyone has visited Greenville, Bethany, Freeport, Santa Clara, Clearwater, Key West, Athens, Cambridge, Newport, Haddonfield, Emporia, Gadsden, Lawrence, Lower Southampton, Nappanee, Wilson, Norwalk and Carmel
hypothesis: Opal didn't visit Spring Green