premise: Herbert has only visited Czech Republic, Howard has only visited Bosnia & Herzegovinia, Allan has only visited Romania, Dave has only visited Sri Lanka, Erik has only visited Malawi, Felix has only visited Ireland, Tom has only visited Tanzania, Tim has only visited Gabon, Donald has only visited Netherlands
hypothesis: Herbert didn't visit Czech Republic