premise: Leroy has only visited Italy, Mali, Mauritania, Ghana, Philippines, Iran, United Arab Emirates, Luxembourg, Zimbabwe, Angola, Sri Lanka, Seychelles, Comoros, Austria and Maldives
hypothesis: Virgil didn't visit Angola