premise: Nicole has not visited Benin, Louise has visited Guatemala, Brittany has not visited Afghanistan and if Brittany has not visited Afghanistan then Billie has visited Vatican City
hypothesis: Billie has not visited Vatican City