premise: Ross has not visited Priest River, Roy has not visited Portland, Vincent has visited International Falls and if Ross has visited Priest River then Billy has visited Petoskey
hypothesis: Billy has not visited Petoskey