premise: Monique has not visited Austria, Yvette has visited Tanzania, Sherri has not visited Barbados and if Sherri has not visited Barbados then Shirley has visited Sierra Leone
hypothesis: Shirley has visited Sierra Leone