premise: Esther has not visited Namibia, Lula has not visited Iran, Caroline has visited Central African Republic and if Esther has visited Namibia then Crystal has visited Paraguay
hypothesis: Crystal has not visited Paraguay