premise: Gregory has only visited Tuvalu, Mali, Democratic Republic of the Congo, Armenia, Kyrgyzstan, Argentina, Liberia, Republic of the Congo, Algeria, Malawi, Solomon Islands, Malta, Guatemala, Antigua & Barbuda, Philippines, Finland and Trinidad & Tobago
hypothesis: Ivan didn't visit Liberia