premise: Dean has only visited Estonia, Enrique has only visited Montenegro, Johnnie has only visited Egypt, Thomas has only visited Sri Lanka, Jared has only visited Sierra Leone, Raymond has only visited Libya, Herbert has only visited Timor-Leste, Manuel has only visited Philippines, Lewis has only visited Saint Vincent & the Grenadines, Terry has only visited Laos, Jorge has only visited South Sudan, Miguel has only visited Comoros
hypothesis: Thomas didn't visit Sri Lanka