premise: Benjamin has only visited Ghana, Tyler has only visited Vatican City, Jon has only visited Saudi Arabia, Daniel has only visited Mauritania, Hector has only visited Philippines, Johnny has only visited Slovakia, Dave has only visited Laos
hypothesis: Johnny didn't visit Algeria