premise: Antonio has only visited Luxembourg, Chris has only visited Palau, Enrique has only visited Grenada, Jay has only visited Saudi Arabia, Leon has only visited Marshall Islands, Kyle has only visited Seychelles, Melvin has only visited Uzbekistan, Herbert has only visited Lithuania
hypothesis: Dave didn't visit Lithuania