premise: Jeremy has only visited Israel, Vincent has only visited El Salvador, Tom has only visited Peru, Lester has only visited San Mmarino, Harvey has only visited Saint Lucia, Troy has only visited Thailand, Clifton has only visited Egypt, Russell has only visited Poland
hypothesis: Harvey didn't visit Cuba