premise: Albert has not visited Bethlehem, Cody has visited Bowling Green, Andy has not visited Fort Smith and if Andy has visited Fort Smith then Calvin has visited Fernandina Beach
hypothesis: Calvin has not visited Fernandina Beach