premise: Darryl has visited Bowling Green, Kurt has not visited Gettysburg, Aaron has visited Chapel Hill and if Darryl has visited Bowling Green then Willard has visited Gaffney
hypothesis: Willard has not visited Gaffney