premise: Charlie has only visited Croatia, United Arab Emirates, Federated States of Micronesia, Gambia, Denmark, Togo, El Salvador, Haiti, Seychelles, Cyprus, Liberia, Zambia, Slovakia, Panama, Indonesia, Zimbabwe, Greece and Tonga
hypothesis: Steven didn't visit Liberia