premise: Jeff has not visited Freeport, Lewis has not visited Mount Pleasant, Harvey has visited Campbellsville and if Lewis has not visited Mount Pleasant then Alfredo has not visited Boonville
hypothesis: Alfredo has not visited Boonville