だい前提 ぜんていであれば
daizenteideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 大前提

1. If the major premise is true; Given the major premise

Ba Conditional
Logic