premise: Valerie has only visited Darien, Kansas City, Ironwood, Atlanta, Gatlinburg, Braintree, Saint Marys City, Newton, Conway, Shaker Heights, Ames, Pompano Beach, Vancouver, Alamosa, Quincy, New Milford and Cookeville
hypothesis: Sharon didn't visit Conway