premise: Ken has not visited Mundelein, Ben has not visited North Kingstown, Byron has visited Cheboygan and if Ken has not visited Mundelein then Albert has not visited Gainesville
hypothesis: Albert has not visited Gainesville