premise: Ivan has only visited Tonga, Singapore, Togo, Sri Lanka, Uruguay, Latvia, Tunisia, Dominica, Uganda, Mali, Kenya, Sudan, Ghana, Malta, Chile, Nigeria, Thailand, Suriname, India and Australia
hypothesis: Ivan didn't visit Kenya