premise: Stanley has only visited Belgium, Joseph has only visited Seychelles, Karl has only visited Mozambique, Tyrone has only visited Morocco, Mathew has only visited Suriname, Kent has only visited Jordan, Floyd has only visited Estonia
hypothesis: Karl didn't visit Mozambique