premise: Renee has not visited Central African Republic, Kathleen has not visited Guyana, Holly has visited São Tomé & Prícipe and if Kathleen has visited Guyana then Margie has visited Sri Lanka
hypothesis: Margie has not visited Sri Lanka