premise: Roberto has only visited Vietnam, Lester has only visited Norway, Frank has only visited Tajikistan, Kirk has only visited Germany, Keith has only visited Estonia, Darrell has only visited Timor-Leste
hypothesis: Martin didn't visit Vietnam