premise: Everett has not visited Kennebunkport, Francis has visited Manchester, Don has not visited Walnut Creek and if Don has visited Walnut Creek then Alvin has visited Carson City
hypothesis: Alvin has visited Carson City