premise: Ben has only visited Djibouti, Dan has only visited Venezuela, Travis has only visited Algeria, Charlie has only visited Libya, Henry has only visited Palestine, Dale has only visited Bolivia, Enrique has only visited Portugal, Bill has only visited Israel, Patrick has only visited Vietnam
hypothesis: Patrick didn't visit Palau