premise: Albert has only visited El Salvador, Ralph has only visited Yemen, Juan has only visited Grenada, Franklin has only visited Bahrain, George has only visited Romania, Mark has only visited Albania, Bobby has only visited Brazil, Ken has only visited Armenia
hypothesis: Juan didn't visit Laos