premise: Robert has only visited Moldova, James has only visited Sierra Leone, Jimmy has only visited Norway, Alvin has only visited Saudi Arabia, Ken has only visited Hungary, Travis has only visited Costa Rica, Danny has only visited Guatemala
hypothesis: Jimmy didn't visit Lithuania