premise: Bonnie has not visited Turkmenistan, Brittany has not visited Iran, Jill has visited Gambia and if Brittany has not visited Iran then Christy has visited Vatican City
hypothesis: Christy has not visited Vatican City