premise: Dwayne has not visited Stillwater, Douglas has not visited South Kingstown, Clinton has visited Amarillo and if Douglas has visited South Kingstown then Vernon has visited Kent
hypothesis: Vernon has not visited Kent