premise: Jeffery has not visited San Simeon, Peter has visited Fremont, Frank has visited Southington and if Frank has visited Southington then Antonio has visited Elizabeth City
hypothesis: Antonio has not visited Elizabeth City