premise: Sue has only visited Lompoc, Edison, Rockville, Somersworth, Wabash, North Dakota, Arkansas City, Independence, Biddeford, Mamaroneck, Salem, Helena, Boonesborough, Bath and Sidney
hypothesis: Belinda didn't visit Helena