premise: Warren has visited New Britain, John has not visited New Windsor, George has visited Kitty Hawk and if Warren has visited New Britain then Eugene has visited Yazoo City
hypothesis: Eugene has not visited Yazoo City