premise: Cassandra has not visited Malawi, Heather has visited Libya, Lydia has not visited Suriname and if Lydia has visited Suriname then Cheryl has visited Saint Vincent & the Grenadines
hypothesis: Cheryl has not visited Saint Vincent & the Grenadines