premise: Arthur has only visited Australia, Ben has only visited Kosovo, Adrian has only visited Papua New Guinea, Neil has only visited Guyana, Everett has only visited Sri Lanka, Billy has only visited Netherlands, Jack has only visited Honduras, Jimmie has only visited Central African Republic, Larry has only visited Costa Rica
hypothesis: Joe didn't visit Costa Rica