premise: Everyone has visited Mali, Libya, Romania, Russia, Thailand, Lesotho, Indonesia, Honduras, Ghana, Belize, Morocco, Philippines, Central African Republic, Palestine, Seychelles, Italy, Guatemala and Australia
hypothesis: Tracy did visit Libya