premise: Arnold has not visited River Forest, Jacob has visited Burlington, Ronald has not visited Cuyahoga Falls and if Ronald has not visited Cuyahoga Falls then Earl has visited Cadillac
hypothesis: Earl has not visited Cadillac