premise: Armando has not visited Logan, Neil has not visited Bowling Green, Hector has visited Fort Kent and if Neil has visited Bowling Green then Leonard has visited Nebraska City
hypothesis: Leonard has not visited Nebraska City