premise: Everyone has visited Cody, Shamokin, Santa Cruz, Nanticoke, Silver City, Wahiawa, Frederick, Gainesville, Bainbridge, Apalachicola, Waterbury, Chicago, Aberdeen and New Bern
hypothesis: Someone didn't visit Wahiawa