もしもこの甲乙間が木らしいとしたらそのＣ型は積み上がる
fact1: もし仮に木らしい整体入門があるとしたらこの挿話は愛しくない fact2: もし仮にそのＣ型が単位体積中でないとするとこの挿話は主旨であるしさらにそれは積み上がる fact3: そのＣ型は平たいということはない fact4: もし何らかのものが平たいということはないならばそれは単位体積中でないが過不足無い fact5: 「整体入門な」物はある fact6: もし仮に「御越しに成る」ものがあるとするとこの甲乙間は整体入門である fact7: 「御越しに成る」物はある fact8: あるものは木らしい fact9: もしも「「愛しいけれど整体入門でない」ということは偽な」物があるとするとこの甲乙間は御越しに成らない fact10: 仮に何らかの物は積み上がるとすると「それは愛しくて更に整体入門でない」ということは間違いだ fact11: 仮に「この挿話は愛しくない」ということは成り立つとすればそのＣ型は積み上がる fact12: 「積み上がるし木らしい」物はある fact13: もしも「御越しに成らない」物があるならあの国際文化交流は木らしい
fact7 & fact6 -> int1: この甲乙間は整体入門だ; void -> assump1: 以下のように仮定する。この甲乙間は木らしい; int1 & assump1 -> int2: この甲乙間が整体入門だししかも木らしい; int2 -> int3: 木らしい整体入門はある; int3 & fact1 -> int4: 「この挿話は愛しくない」ということは偽でない; int4 & fact11 -> int5: そのＣ型は積み上がる; [assump1] & int5 -> hypothesis;
あの国際文化交流は木らしい
fact15 -> int6: もし仮にこの挿話は積み上がるとすると「それは愛しいけど整体入門でない」ということは間違いである; fact16 -> int7: もしもそのＣ型が平たいということはないならば単位体積中でないけど過不足無い; int7 & fact19 -> int8: そのＣ型は単位体積中でないが過不足無い; int8 -> int9: そのＣ型は単位体積中でない; fact18 & int9 -> int10: この挿話は主旨で更に積み上がる; int10 -> int11: この挿話は積み上がる; int6 & int11 -> int12: 「この挿話は愛しいがしかし整体入門でない」ということは嘘だ; int12 -> int13: 「「愛しいし更に整体入門でない」ということは成り立たない」ものはある; int13 & fact17 -> int14: この甲乙間は御越しに成るということはない; int14 -> int15: 「御越しに成らない」物はある; int15 & fact14 -> hypothesis;
$facts$ = fact1: もし仮に木らしい整体入門があるとしたらこの挿話は愛しくない fact2: もし仮にそのＣ型が単位体積中でないとするとこの挿話は主旨であるしさらにそれは積み上がる fact3: そのＣ型は平たいということはない fact4: もし何らかのものが平たいということはないならばそれは単位体積中でないが過不足無い fact5: 「整体入門な」物はある fact6: もし仮に「御越しに成る」ものがあるとするとこの甲乙間は整体入門である fact7: 「御越しに成る」物はある fact8: あるものは木らしい fact9: もしも「「愛しいけれど整体入門でない」ということは偽な」物があるとするとこの甲乙間は御越しに成らない fact10: 仮に何らかの物は積み上がるとすると「それは愛しくて更に整体入門でない」ということは間違いだ fact11: 仮に「この挿話は愛しくない」ということは成り立つとすればそのＣ型は積み上がる fact12: 「積み上がるし木らしい」物はある fact13: もしも「御越しに成らない」物があるならあの国際文化交流は木らしい ; $hypothesis$ = もしもこの甲乙間が木らしいとしたらそのＣ型は積み上がる ; $proof$ = 
fact7 & fact6 -> int1: この甲乙間は整体入門だ; void -> assump1: 以下のように仮定する。この甲乙間は木らしい; int1 & assump1 -> int2: この甲乙間が整体入門だししかも木らしい; int2 -> int3: 木らしい整体入門はある; int3 & fact1 -> int4: 「この挿話は愛しくない」ということは偽でない; int4 & fact11 -> int5: そのＣ型は積み上がる; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もし仮に木らしい整体入門があるとしたらこの挿話は愛しくない
事実2: もし仮にそのＣ型が単位体積中でないとするとこの挿話は主旨であるしさらにそれは積み上がる
事実3: そのＣ型は平たいということはない
事実4: もし何らかのものが平たいということはないならばそれは単位体積中でないが過不足無い
事実5: 「整体入門な」物はある
事実6: もし仮に「御越しに成る」ものがあるとするとこの甲乙間は整体入門である
事実7: 「御越しに成る」物はある
事実8: あるものは木らしい
事実9: もしも「「愛しいけれど整体入門でない」ということは偽な」物があるとするとこの甲乙間は御越しに成らない
事実10: 仮に何らかの物は積み上がるとすると「それは愛しくて更に整体入門でない」ということは間違いだ
事実11: 仮に「この挿話は愛しくない」ということは成り立つとすればそのＣ型は積み上がる
事実12: 「積み上がるし木らしい」物はある
事実13: もしも「御越しに成らない」物があるならあの国際文化交流は木らしい

仮説: もしもこの甲乙間が木らしいとしたらそのＣ型は積み上がる
1. 事実7と事実6から、推論1: "この甲乙間は整体入門だ"が導かれる
2. 仮定1: 以下のように仮定する。この甲乙間は木らしい
3. 推論1と仮定1から、推論2: "この甲乙間が整体入門だししかも木らしい"が導かれる
4. 推論2から、推論3: "木らしい整体入門はある"が導かれる
5. 推論3と事実1から、推論4: "「この挿話は愛しくない」ということは偽でない"が導かれる
6. 推論4と事実11から、推論5: "そのＣ型は積み上がる"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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