真理 しんり であれば
shinrichideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 真理値

1. if the truth value; if it is true

Ba Conditional