premise: Heidi has only visited Cleveland, Danbury, San Marino, Deadwood, Knoxville, Hingham, Warren, Albany, Summersville, Nashville, Somersworth, Union, Charlotte, Adrian, Nashua, West Lafayette and Pawhuska
hypothesis: Nancy didn't visit Danbury