背理 はいり ほうであれば
hairihōdeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 背理法

1. If reductio ad absurdum; If contradiction

Ba Conditional