premise: Byron has only visited Vatican City, Ivan has only visited Uganda, Javier has only visited Norway, Wallace has only visited Portugal, Harvey has only visited Nauru, Daryl has only visited Cyprus, Charles has only visited Chile
hypothesis: Harvey didn't visit Nauru