premise: Jonathan has only visited Papua New Guinea, Clifton has only visited Mali, Vernon has only visited Costa Rica, Tyler has only visited Japan, Justin has only visited Ireland, Gary has only visited Sri Lanka, Barry has only visited Equatorial Guinea, Everett has only visited United States, Joe has only visited Democratic Republic of the Congo, Bobby has only visited Australia, Rafael has only visited Spain
hypothesis: Bobby didn't visit Kiribati