premise: Herman has not visited Park City, Tyrone has not visited Milbank, Frederick has visited Socorro and if Herman has not visited Park City then Tracy has not visited Bloomfield Hills
hypothesis: Tracy has not visited Bloomfield Hills