premise: Frank has not visited Shawnee, Roland has not visited Grants, Justin has visited American Fork and if Frank has not visited Shawnee then Alberto has visited Belle Fourche
hypothesis: Alberto has not visited Belle Fourche