premise: Darryl has not visited Arkansas Post, Terrence has visited Calumet City, Franklin has visited San Francisco and if Franklin has visited San Francisco then Randall has visited Nanticoke
hypothesis: Randall has not visited Nanticoke