premise: Ian has not visited Van Buren, Ray has visited Eastport, Terrence has not visited Silver Spring and if Terrence has not visited Silver Spring then George has not visited Greeneville
hypothesis: George has not visited Greeneville