premise: Carole has not visited United Kingdom, Cassandra has not visited Sweden, Alma has visited São Tomé & Prícipe and if Cassandra has visited Sweden then Kristine has visited Angola
hypothesis: Kristine has not visited Angola