premise: Joshua has not visited Bridgeton, Lloyd has not visited Yazoo City, Francisco has visited Sacramento and if Lloyd has visited Yazoo City then Glenn has visited Phenix City
hypothesis: Glenn has visited Phenix City