premise: Glen has not visited Culver City, Edgar has not visited Fall River, Terrence has visited DeKalb and if Edgar has not visited Fall River then Leroy has not visited Mount Pleasant
hypothesis: Leroy has not visited Mount Pleasant