このＬＡＴは千九百九十年代中頃だ
fact1: そのレター・セットは制定権である fact2: もしそのレター・セットは制定権であるとしたら「このＬＡＴは千九百九十年代中頃だ」ということは成り立つ
$facts$ = fact1: そのレター・セットは制定権である fact2: もしそのレター・セットは制定権であるとしたら「このＬＡＴは千九百九十年代中頃だ」ということは成り立つ ; $hypothesis$ = このＬＡＴは千九百九十年代中頃だ ; $proof$ = 
事実1: そのレター・セットは制定権である
事実2: もしそのレター・セットは制定権であるとしたら「このＬＡＴは千九百九十年代中頃だ」ということは成り立つ

仮説: このＬＡＴは千九百九十年代中頃だ