「「この歴史性は与え難いが昼過ぎでない」ということは間違いであるとすればこの歴史性はしつこい」ということは偽だ
fact1: 仮に「何かは与え難いがしかし昼過ぎだということはない」ということは成り立たないならば「しつこい」ということは正しい
$facts$ = fact1: 仮に「何かは与え難いがしかし昼過ぎだということはない」ということは成り立たないならば「しつこい」ということは正しい ; $hypothesis$ = 「「この歴史性は与え難いが昼過ぎでない」ということは間違いであるとすればこの歴史性はしつこい」ということは偽だ ; $proof$ = 
事実1: 仮に「何かは与え難いがしかし昼過ぎだということはない」ということは成り立たないならば「しつこい」ということは正しい

仮説: 「「この歴史性は与え難いが昼過ぎでない」ということは間違いであるとすればこの歴史性はしつこい」ということは偽だ