「「この交戦国は史跡であるか保釈しない」ということは事実と異なる」ということは成り立つ
fact1: もし仮にこの交戦国が史跡であるかあるいはそれは保釈しないかまたはどちらもであるならば「「あの銀河系は成し難い」ということは確かである」ということは成り立たない fact2: 「この交戦国は保釈するかまたは成し難いということはないかあるいは両方ともである」ということは正しいとしたらあの銀河系は史跡でない fact3: もしもあの銀河系が史跡であるかあるいは成し難いということはないかどちらもならこの交戦国は保釈しない fact4: もしもなんらかの物は熱し易くないならば「それは様式化するか成し難くない」ということは真実でない fact5: この交戦国は成し難い fact6: あの銀河系は成し難い fact7: この光明日報は史跡でない fact8: もし「なにがしかの物は様式化するかまたはそれは成し難いということはない」ということは間違っているとすればそれは史跡である
void -> assump1: 以下のように仮定する。この交戦国は史跡であるかあるいは保釈しない; fact1 & assump1 -> int1: あの銀河系は成し難くない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
この交戦国は史跡であるか保釈しないかまたは両方ともである
fact9 -> int3: 「この交戦国は様式化するかもしくは成し難くないかまたは両方ともである」ということは間違っているとしたらそれは史跡だ; fact10 -> int4: もしもこの交戦国は熱し易くないとしたら「「様式化するかまたは成し難くないかもしくは両方ともだ」ということは本当である」ということは成り立つということはない;
$facts$ = fact1: もし仮にこの交戦国が史跡であるかあるいはそれは保釈しないかまたはどちらもであるならば「「あの銀河系は成し難い」ということは確かである」ということは成り立たない fact2: 「この交戦国は保釈するかまたは成し難いということはないかあるいは両方ともである」ということは正しいとしたらあの銀河系は史跡でない fact3: もしもあの銀河系が史跡であるかあるいは成し難いということはないかどちらもならこの交戦国は保釈しない fact4: もしもなんらかの物は熱し易くないならば「それは様式化するか成し難くない」ということは真実でない fact5: この交戦国は成し難い fact6: あの銀河系は成し難い fact7: この光明日報は史跡でない fact8: もし「なにがしかの物は様式化するかまたはそれは成し難いということはない」ということは間違っているとすればそれは史跡である ; $hypothesis$ = 「「この交戦国は史跡であるか保釈しない」ということは事実と異なる」ということは成り立つ ; $proof$ = 
void -> assump1: 以下のように仮定する。この交戦国は史跡であるかあるいは保釈しない; fact1 & assump1 -> int1: あの銀河系は成し難くない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もし仮にこの交戦国が史跡であるかあるいはそれは保釈しないかまたはどちらもであるならば「「あの銀河系は成し難い」ということは確かである」ということは成り立たない
事実2: 「この交戦国は保釈するかまたは成し難いということはないかあるいは両方ともである」ということは正しいとしたらあの銀河系は史跡でない
事実3: もしもあの銀河系が史跡であるかあるいは成し難いということはないかどちらもならこの交戦国は保釈しない
事実4: もしもなんらかの物は熱し易くないならば「それは様式化するか成し難くない」ということは真実でない
事実5: この交戦国は成し難い
事実6: あの銀河系は成し難い
事実7: この光明日報は史跡でない
事実8: もし「なにがしかの物は様式化するかまたはそれは成し難いということはない」ということは間違っているとすればそれは史跡である

仮説: 「「この交戦国は史跡であるか保釈しない」ということは事実と異なる」ということは成り立つ
1. 仮定1: 以下のように仮定する。この交戦国は史跡であるかあるいは保釈しない
2. 事実1と仮定1から、推論1: "あの銀河系は成し難くない"が導かれる
3. 推論1と事実6から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

よって、仮説が証明されました。