premise: Clyde has only visited Benin, Marvin has only visited Kuwait, Jessie has only visited Nauru, Gene has only visited Peru, Cody has only visited Japan, Ricardo has only visited Israel, Keith has only visited Zimbabwe, Tim has only visited Ghana, Herbert has only visited Lithuania, Chester has only visited Bhutan, Wesley has only visited Germany, Donald has only visited Liechtenstein
hypothesis: Tim didn't visit São Tomé & Prícipe