premise: Shawn has only visited China, Joseph has only visited Namibia, Bernard has only visited Comoros, Adam has only visited Vanuatu, Kirk has only visited The Bahamas, Ernest has only visited Djibouti, Thomas has only visited Austria, Derek has only visited Benin, Johnnie has only visited Bangladesh, Wallace has only visited Suriname, Ray has only visited Antigua & Barbuda, Lonnie has only visited Saudi Arabia
hypothesis: Lonnie didn't visit Saudi Arabia