ホルンフェルスであれば
horunferusudeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of ホルンフェルス

1. If hornfels; When hornfels

Ba Conditional