premise: Reginald has visited Faribault, Tyler has not visited North Las Vegas, Leon has visited Columbia and if Reginald has visited Faribault then Herbert has visited Bloomfield
hypothesis: Herbert has not visited Bloomfield