premise: Eduardo has only visited Libya, Andre has only visited Mozambique, Shawn has only visited Saint Kitts & Nevis, Russell has only visited Spain, Robert has only visited Slovenia, Ricky has only visited Gabon, Juan has only visited Oman, Chester has only visited Equatorial Guinea, Ray has only visited Comoros, Johnny has only visited Kuwait, Corey has only visited France, Jonathan has only visited Gambia
hypothesis: Johnny didn't visit Kuwait