premise: Zachary has not visited Hanover, Brandon has not visited Hartsville, Leslie has visited Grants and if Brandon has visited Hartsville then Arnold has visited Montgomery
hypothesis: Arnold has not visited Montgomery