premise: Harvey has only visited Austria, Andy has only visited Denmark, Gary has only visited Angola, Jeffery has only visited Vatican City, Claude has only visited Benin, Brent has only visited Andorra, Ian has only visited San Mmarino, Christian has only visited Kazakhstan, Francisco has only visited Czech Republic, Darren has only visited Singapore, Jon has only visited Finland
hypothesis: Charlie didn't visit San Mmarino