premise: Curtis has only visited Thailand, Leo has only visited Suriname, Terry has only visited Libya, Arnold has only visited Gabon, Stanley has only visited Antigua & Barbuda, Jesse has only visited Colombia
hypothesis: Terry didn't visit Libya