premise: David has not visited Shiprock, Jason has not visited Presque Isle, Manuel has visited Henderson and if Jason has not visited Presque Isle then Douglas has visited Sweetwater
hypothesis: Douglas has visited Sweetwater