premise: Jeffrey has not visited Greenville, Lawrence has visited Old Saybrook, Daryl has not visited Heber City and if Daryl has not visited Heber City then Earl has not visited Elkhart
hypothesis: Earl has not visited Elkhart