「あのエキシマレーザーは四十年代前半である」ということは本当だ
fact1: あのエキシマレーザーは四十年代前半である
$facts$ = fact1: あのエキシマレーザーは四十年代前半である ; $hypothesis$ = 「あのエキシマレーザーは四十年代前半である」ということは本当だ ; $proof$ = 
事実1: あのエキシマレーザーは四十年代前半である

仮説: 「あのエキシマレーザーは四十年代前半である」ということは本当だ