premise: Gary has only visited Vatican City, Don has only visited China, Isaac has only visited Poland, Matthew has only visited Cameroon, Clinton has only visited Mexico, Charlie has only visited Saint Lucia
hypothesis: Charlie didn't visit Saint Lucia