premise: Harry has not visited Bloomington, Leo has not visited Coos Bay, Troy has visited San Rafael and if Harry has not visited Bloomington then Sidney has visited North Haven
hypothesis: Sidney has not visited North Haven