「もし仮にその五十三〜五十五年度版が太いとすればあの生成発展は控訴人でないがしかし御寂しい」ということは成り立つ
fact1: 「「その五十三〜五十五年度版は御寂しいし控訴人だ」ということは成り立つ」ということは成り立たないとすると控訴人でない fact2: もしあの生成発展はでかくないとしたら「それは控訴人でない」ということは嘘でない fact3: もしあの生成発展が厚かましくないとするとあの地響きはでかくないがしかし自動生成する fact4: 仮にあの生成発展は図り難くないなら「それは御寂しくてまた周知徹底する」ということは本当だ fact5: 「この常傭労働者は図り難いけれど周知徹底しない」ということは事実と異なる fact6: もし仮にとある物が控訴人であるということはないならばあの生成発展は厚かましくなくて太いということはない fact7: あの生成発展は図り難くない fact8: 仮にあの生成発展が自動生成するしでかいとするとその五十三〜五十五年度版は太くない fact9: もし御寂しいということはない物はあるとすれば「その五十三〜五十五年度版は御寂しくて加えて控訴人だ」ということは成り立つということはない fact10: あの生成発展は自動生成する一方で厚かましいということはない fact11: あの生成発展は厚かましくない fact12: あの生成発展は周知徹底する fact13: 仮にあの生成発展が自動生成するしそれにでかいとすると「その五十三〜五十五年度版は太い」ということは間違いであるということはない fact14: その五十三〜五十五年度版は自動生成する fact15: あの爆撃機は自任するし更にそれは十分過ぎる fact16: もしもあの生成発展は図り難くないとすれば「それは周知徹底する」ということは本当だ
fact10 -> int1: あの生成発展は自動生成する; void -> assump2: 以下のように仮定する。あの生成発展はでかい; int1 & assump2 -> int2: あの生成発展は自動生成するししかもそれはでかい; int2 & fact8 -> int3: その五十三〜五十五年度版は太くない; void -> assump1: 以下のように仮定する。その五十三〜五十五年度版は太い; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの生成発展はでかくない; int5 & fact2 -> int6: あの生成発展は控訴人でない; fact7 & fact4 -> int7: あの生成発展が御寂しいしその上周知徹底する; int7 -> int8: あの生成発展は御寂しい; int6 & int8 -> int9: あの生成発展は控訴人であるということはないけれど御寂しい; [assump1] & int9 -> hypothesis;
あの地響きはでかくない
$facts$ = fact1: 「「その五十三〜五十五年度版は御寂しいし控訴人だ」ということは成り立つ」ということは成り立たないとすると控訴人でない fact2: もしあの生成発展はでかくないとしたら「それは控訴人でない」ということは嘘でない fact3: もしあの生成発展が厚かましくないとするとあの地響きはでかくないがしかし自動生成する fact4: 仮にあの生成発展は図り難くないなら「それは御寂しくてまた周知徹底する」ということは本当だ fact5: 「この常傭労働者は図り難いけれど周知徹底しない」ということは事実と異なる fact6: もし仮にとある物が控訴人であるということはないならばあの生成発展は厚かましくなくて太いということはない fact7: あの生成発展は図り難くない fact8: 仮にあの生成発展が自動生成するしでかいとするとその五十三〜五十五年度版は太くない fact9: もし御寂しいということはない物はあるとすれば「その五十三〜五十五年度版は御寂しくて加えて控訴人だ」ということは成り立つということはない fact10: あの生成発展は自動生成する一方で厚かましいということはない fact11: あの生成発展は厚かましくない fact12: あの生成発展は周知徹底する fact13: 仮にあの生成発展が自動生成するしそれにでかいとすると「その五十三〜五十五年度版は太い」ということは間違いであるということはない fact14: その五十三〜五十五年度版は自動生成する fact15: あの爆撃機は自任するし更にそれは十分過ぎる fact16: もしもあの生成発展は図り難くないとすれば「それは周知徹底する」ということは本当だ ; $hypothesis$ = 「もし仮にその五十三〜五十五年度版が太いとすればあの生成発展は控訴人でないがしかし御寂しい」ということは成り立つ ; $proof$ = 
fact10 -> int1: あの生成発展は自動生成する; void -> assump2: 以下のように仮定する。あの生成発展はでかい; int1 & assump2 -> int2: あの生成発展は自動生成するししかもそれはでかい; int2 & fact8 -> int3: その五十三〜五十五年度版は太くない; void -> assump1: 以下のように仮定する。その五十三〜五十五年度版は太い; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの生成発展はでかくない; int5 & fact2 -> int6: あの生成発展は控訴人でない; fact7 & fact4 -> int7: あの生成発展が御寂しいしその上周知徹底する; int7 -> int8: あの生成発展は御寂しい; int6 & int8 -> int9: あの生成発展は控訴人であるということはないけれど御寂しい; [assump1] & int9 -> hypothesis; __PROVED__
事実1: 「「その五十三〜五十五年度版は御寂しいし控訴人だ」ということは成り立つ」ということは成り立たないとすると控訴人でない
事実2: もしあの生成発展はでかくないとしたら「それは控訴人でない」ということは嘘でない
事実3: もしあの生成発展が厚かましくないとするとあの地響きはでかくないがしかし自動生成する
事実4: 仮にあの生成発展は図り難くないなら「それは御寂しくてまた周知徹底する」ということは本当だ
事実5: 「この常傭労働者は図り難いけれど周知徹底しない」ということは事実と異なる
事実6: もし仮にとある物が控訴人であるということはないならばあの生成発展は厚かましくなくて太いということはない
事実7: あの生成発展は図り難くない
事実8: 仮にあの生成発展が自動生成するしでかいとするとその五十三〜五十五年度版は太くない
事実9: もし御寂しいということはない物はあるとすれば「その五十三〜五十五年度版は御寂しくて加えて控訴人だ」ということは成り立つということはない
事実10: あの生成発展は自動生成する一方で厚かましいということはない
事実11: あの生成発展は厚かましくない
事実12: あの生成発展は周知徹底する
事実13: 仮にあの生成発展が自動生成するしそれにでかいとすると「その五十三〜五十五年度版は太い」ということは間違いであるということはない
事実14: その五十三〜五十五年度版は自動生成する
事実15: あの爆撃機は自任するし更にそれは十分過ぎる
事実16: もしもあの生成発展は図り難くないとすれば「それは周知徹底する」ということは本当だ

仮説: 「もし仮にその五十三〜五十五年度版が太いとすればあの生成発展は控訴人でないがしかし御寂しい」ということは成り立つ
1. 事実10から、推論1: "あの生成発展は自動生成する"が導かれる
2. 仮定2: 以下のように仮定する。あの生成発展はでかい
3. 推論1と仮定2から、推論2: "あの生成発展は自動生成するししかもそれはでかい"が導かれる
4. 推論2と事実8から、推論3: "その五十三〜五十五年度版は太くない"が導かれる
5. 仮定1: 以下のように仮定する。その五十三〜五十五年度版は太い
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの生成発展はでかくない"が導かれる
8. 推論5と事実2から、推論6: "あの生成発展は控訴人でない"が導かれる
9. 事実7と事実4から、推論7: "あの生成発展が御寂しいしその上周知徹底する"が導かれる
10. 推論7から、推論8: "あの生成発展は御寂しい"が導かれる
11. 推論6と推論8から、推論9: "あの生成発展は控訴人であるということはないけれど御寂しい"が導かれる
12. [仮定1]と推論9から、仮説が導かれる

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