premise: David has only visited Timor-Leste, Patrick has only visited Ireland, Erik has only visited Afghanistan, Claude has only visited Myanmar, Clifford has only visited Greece, Kurt has only visited Monaco, Mark has only visited Japan, Johnnie has only visited Venezuela, Sam has only visited Iraq
hypothesis: Johnny didn't visit Japan