premise: John has not visited Corning, Nelson has visited Niagara Falls, Ronnie has not visited Stony Brook and if Ronnie has visited Stony Brook then Clinton has visited Belle Fourche
hypothesis: Clinton has visited Belle Fourche