premise: Claude has not visited Gettysburg, Morris has visited San Francisco, Ronnie has not visited Brigham City and if Ronnie has not visited Brigham City then Kelly has visited Gainesville
hypothesis: Kelly has not visited Gainesville