「この千九百五十五年以降は進級でない」ということは真実である
fact1: この千九百五十五年以降は進級だ
$facts$ = fact1: この千九百五十五年以降は進級だ ; $hypothesis$ = 「この千九百五十五年以降は進級でない」ということは真実である ; $proof$ = 
事実1: この千九百五十五年以降は進級だ

仮説: 「この千九百五十五年以降は進級でない」ということは真実である