premise: Ivan has only visited Syria, Mario has only visited Moldova, Steve has only visited Indonesia, Manuel has only visited Spain, Dustin has only visited Saudi Arabia, Jessie has only visited Barbados, Gregory has only visited Tuvalu, Terrance has only visited Mali
hypothesis: Mario didn't visit Djibouti