premise: Leonard has only visited Cyprus, Jesse has only visited Suriname, Felix has only visited Dominica, Randy has only visited São Tomé & Prícipe, Marion has only visited Nepal, Tommy has only visited Turkmenistan, Herman has only visited Croatia, Kelly has only visited Barbados
hypothesis: Tommy didn't visit Denmark