premise: Harvey has only visited Argentina, Leo has only visited Libya, Darrell has only visited Djibouti, Carl has only visited São Tomé & Prícipe, Julio has only visited Liechtenstein, Sidney has only visited Chile, Daryl has only visited Turkmenistan, Steve has only visited South Africa, Adam has only visited San Mmarino, Brandon has only visited Namibia, William has only visited Kenya, Roland has only visited Latvia
hypothesis: Mario didn't visit Djibouti