premise: Miriam has visited Namibia, Gloria has not visited Nauru, Lorraine has visited Saint Vincent & the Grenadines and if Miriam has visited Namibia then Sheryl has visited Vietnam
hypothesis: Sheryl has visited Vietnam