premise: Marvin has not visited Houghton, Carl has not visited Panama City, Darrell has visited Amesbury and if Carl has not visited Panama City then Kenneth has not visited Cleveland
hypothesis: Kenneth has not visited Cleveland