premise: Travis has only visited Colombia, Tim has only visited Lebanon, Wayne has only visited Angola, Melvin has only visited Liechtenstein, Alberto has only visited Zambia, Dean has only visited Canada
hypothesis: Travis didn't visit Andorra