premise: Craig has only visited São Tomé & Prícipe, Dan has only visited Haiti, Hector has only visited Pakistan, Justin has only visited Jordan, Guy has only visited Vanuatu, Lance has only visited Djibouti
hypothesis: Craig didn't visit São Tomé & Prícipe