premise: Brandon has not visited Beatrice, Jay has not visited Portales, Curtis has visited Boonville and if Brandon has not visited Beatrice then Robert has not visited Chicago Heights
hypothesis: Robert has not visited Chicago Heights