premise: Alberto has not visited Petersburg, Herbert has not visited Plainfield, Bryan has visited Catonsville and if Alberto has not visited Petersburg then Clifford has not visited Mattoon
hypothesis: Clifford has not visited Mattoon