premise: Javier has only visited Norway, Herman has only visited Malta, Kent has only visited Bulgaria, Francisco has only visited Syria, Luis has only visited Spain, Nathaniel has only visited Niger, Charlie has only visited Liberia, Lloyd has only visited Indonesia, Tim has only visited Togo
hypothesis: Tim didn't visit Togo