premise: Walter has not visited Stony Brook, Jorge has not visited Lewiston, Russell has visited Bakersfield and if Jorge has not visited Lewiston then Mario has not visited Cumberland
hypothesis: Mario has not visited Cumberland