あの六連符は落ち始めるかあるいはそれは財産管理権である
fact1: もしも「何らかの物は財産管理権でないしまたおっきいということはない」ということは偽だとしたら炉体であるということはない fact2: あの六連符がおっきいということはないなら出府しないけれど落ち始める fact3: もし仮にこの銀杏は炉体でかつ出府するなら「あの六連符は財産管理権である」ということは成り立つ fact4: 仮に「あの六連符は出府するということはない」ということは間違っていないなら「財産管理権でなくてしかも炉体である」ということは本当である fact5: あのパンダさんは腐心するか受け難いかあるいはどちらもだ fact6: 出来難いものはおっきくない fact7: もしこの銀杏がおっきくないならそれは炉体でないしそれに出府する fact8: もしもとある物はおっきくないとすれば「それは落ち始めるかもしくは財産管理権である」ということは成り立つということはない fact9: 「この銀杏はおっきくない」ということは真実だ fact10: あの六連符はおっきいか財産管理権であるかあるいは両方ともだ fact11: この銀杏は炉体でない fact12: この脈拍数は位置エネルギーＵだということはないけどそれは出府する fact13: 「この銀杏はおっきくない」ということは事実であるとすると炉体でない fact14: もしも「この銀杏は炉体であるということはないがしかしそれは出府する」ということは成り立つなら「あの六連符は財産管理権だ」ということは本当である
fact7 & fact9 -> int1: この銀杏は炉体でないがそれは出府する; int1 & fact14 -> int2: あの六連符は財産管理権だ; int2 -> hypothesis;
fact7 & fact9 -> int1: (¬{AA}{a} & {AB}{a}); int1 & fact14 -> int2: {B}{b}; int2 -> hypothesis;
この自己運動は炉体でない
fact15 -> int3: もしも「この自己運動は財産管理権でなくてかつおっきくない」ということは真実でないとすればそれは炉体でない;
$facts$ = fact1: もしも「何らかの物は財産管理権でないしまたおっきいということはない」ということは偽だとしたら炉体であるということはない fact2: あの六連符がおっきいということはないなら出府しないけれど落ち始める fact3: もし仮にこの銀杏は炉体でかつ出府するなら「あの六連符は財産管理権である」ということは成り立つ fact4: 仮に「あの六連符は出府するということはない」ということは間違っていないなら「財産管理権でなくてしかも炉体である」ということは本当である fact5: あのパンダさんは腐心するか受け難いかあるいはどちらもだ fact6: 出来難いものはおっきくない fact7: もしこの銀杏がおっきくないならそれは炉体でないしそれに出府する fact8: もしもとある物はおっきくないとすれば「それは落ち始めるかもしくは財産管理権である」ということは成り立つということはない fact9: 「この銀杏はおっきくない」ということは真実だ fact10: あの六連符はおっきいか財産管理権であるかあるいは両方ともだ fact11: この銀杏は炉体でない fact12: この脈拍数は位置エネルギーＵだということはないけどそれは出府する fact13: 「この銀杏はおっきくない」ということは事実であるとすると炉体でない fact14: もしも「この銀杏は炉体であるということはないがしかしそれは出府する」ということは成り立つなら「あの六連符は財産管理権だ」ということは本当である ; $hypothesis$ = あの六連符は落ち始めるかあるいはそれは財産管理権である ; $proof$ = 
fact7 & fact9 -> int1: この銀杏は炉体でないがそれは出府する; int1 & fact14 -> int2: あの六連符は財産管理権だ; int2 -> hypothesis; __PROVED__
事実1: もしも「何らかの物は財産管理権でないしまたおっきいということはない」ということは偽だとしたら炉体であるということはない
事実2: あの六連符がおっきいということはないなら出府しないけれど落ち始める
事実3: もし仮にこの銀杏は炉体でかつ出府するなら「あの六連符は財産管理権である」ということは成り立つ
事実4: 仮に「あの六連符は出府するということはない」ということは間違っていないなら「財産管理権でなくてしかも炉体である」ということは本当である
事実5: あのパンダさんは腐心するか受け難いかあるいはどちらもだ
事実6: 出来難いものはおっきくない
事実7: もしこの銀杏がおっきくないならそれは炉体でないしそれに出府する
事実8: もしもとある物はおっきくないとすれば「それは落ち始めるかもしくは財産管理権である」ということは成り立つということはない
事実9: 「この銀杏はおっきくない」ということは真実だ
事実10: あの六連符はおっきいか財産管理権であるかあるいは両方ともだ
事実11: この銀杏は炉体でない
事実12: この脈拍数は位置エネルギーＵだということはないけどそれは出府する
事実13: 「この銀杏はおっきくない」ということは事実であるとすると炉体でない
事実14: もしも「この銀杏は炉体であるということはないがしかしそれは出府する」ということは成り立つなら「あの六連符は財産管理権だ」ということは本当である

仮説: あの六連符は落ち始めるかあるいはそれは財産管理権である
1. 事実7と事実9から、推論1: "この銀杏は炉体でないがそれは出府する"が導かれる
2. 推論1と事実14から、推論2: "あの六連符は財産管理権だ"が導かれる
3. 推論2から、仮説が導かれる

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