premise: Nelson has not visited Arkansas Post, Derek has visited San Angelo, Clinton has not visited Glenview and if Clinton has not visited Glenview then John has visited Highland Park
hypothesis: John has visited Highland Park