あの最終決戦は癒し難い
fact1: もしも「「太いということはなくてそれに二級建築士でない」ということは誤っている」ものがあるとすればあの最終決戦は癒し難くない fact2: 「「太いということはなくて二級建築士でない」ということは成り立たない」物はある
$facts$ = fact1: もしも「「太いということはなくてそれに二級建築士でない」ということは誤っている」ものがあるとすればあの最終決戦は癒し難くない fact2: 「「太いということはなくて二級建築士でない」ということは成り立たない」物はある ; $hypothesis$ = あの最終決戦は癒し難い ; $proof$ = 
事実1: もしも「「太いということはなくてそれに二級建築士でない」ということは誤っている」ものがあるとすればあの最終決戦は癒し難くない
事実2: 「「太いということはなくて二級建築士でない」ということは成り立たない」物はある

仮説: あの最終決戦は癒し難い