premise: Ruben has only visited Andorra, Frank has only visited Oman, Chris has only visited Liechtenstein, Adam has only visited Maldives, Justin has only visited El Salvador
hypothesis: Ruben didn't visit Solomon Islands