premise: Walter has only visited Guinea, Edgar has only visited Ecuador, Steve has only visited Zambia, Ian has only visited Belarus, Willie has only visited Azerbaijan, Ramon has only visited Bangladesh
hypothesis: Walter didn't visit Lithuania