premise: Mario has only visited Ethiopia, Alberto has only visited Mexico, Ramon has only visited South Korea, Max has only visited Finland, Albert has only visited Nigeria, Henry has only visited Philippines, Karl has only visited Namibia, Marc has only visited Djibouti, Gene has only visited Democratic Republic of the Congo, Dustin has only visited Turkmenistan, Jose has only visited Indonesia, Clarence has only visited Morocco
hypothesis: Ryan didn't visit Finland