premise: Kirk has not visited Arkadelphia, Stephen has visited Eastpointe, Brian has not visited Ogdensburg and if Brian has visited Ogdensburg then Albert has visited Port Arthur
hypothesis: Albert has visited Port Arthur