premise: Nelson has not visited Modesto, Daryl has visited Odessa, Gregory has not visited Kitty Hawk and if Gregory has visited Kitty Hawk then Alfred has visited Saratoga Springs
hypothesis: Alfred has visited Saratoga Springs