ペトリコールであれば
petorikōrudeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of ペトリコール

1. If petrichor existed; Were there petrichor

Ba Conditional