premise: Leon has not visited Fort Myers, Harry has not visited Highland Park, Jimmie has visited Sandwich and if Harry has not visited Highland Park then Reginald has visited Pocatello
hypothesis: Reginald has not visited Pocatello