premise: Steve has not visited Bemidji, Ricky has visited Brighton, Harold has visited Rensselaer and if Harold has visited Rensselaer then Arthur has visited Mount Pleasant
hypothesis: Arthur has not visited Mount Pleasant