恒真 こうしん しきでしょう
kōshin shikideshō

Noun
Desu Copula

Expresses probability in a polite manner ("probably…") of 恒真式

1. Probably a tautology.; Likely true by definition.

Polite
Presumptive
Conjecture
Logic