premise: Vanessa has visited Croatia, Maureen has not visited Senegal, Tamara has visited Saint Vincent & the Grenadines and if Vanessa has visited Croatia then Frances has visited Nicaragua
hypothesis: Frances has visited Nicaragua