premise: Arthur has visited Lawrence, Paul has not visited Lafayette, Bradley has visited Moscow and if Arthur has visited Lawrence then Harold has visited Sault Sainte Marie
hypothesis: Harold has not visited Sault Sainte Marie