だい前提 ぜんていだったら
daizenteidattara

Noun
Da Copula

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

1. If the major premise is…; When the major premise is…

Tara Conditional
Logic