premise: David has not visited Georgetown, Steven has not visited Williamsport, Joel has visited Port Arthur and if David has not visited Georgetown then Sergio has visited Greenbelt
hypothesis: Sergio has visited Greenbelt