premise: Jeffrey has not visited Atmore, Francisco has not visited Yazoo City, Allen has visited Portland and if Jeffrey has not visited Atmore then Ronnie has visited Florissant
hypothesis: Ronnie has not visited Florissant