premise: Max has not visited Thousand Oaks, Franklin has not visited Cooperstown, Dave has visited Easton and if Max has not visited Thousand Oaks then Arthur has visited Sault Sainte Marie
hypothesis: Arthur has visited Sault Sainte Marie