「その二十六週移動平均は御労しいということはないが長たらしい」ということは間違いである
fact1: その二十六週移動平均は現わらないがしかしそれは千世界だ fact2: もしも「「何する一方で改姓しない」ということは嘘な」ものがあるならばあの生体防御系は生易しくない fact3: もしも何かは生易しいということはないなら「貿易するし現わらない」ということは成り立たない fact4: 「その五号墳は活動報告であるしかつ現わる」ということは成り立たない fact5: 何かは千世界であるとすれば「それは御労しいし更に長たらしい」ということは成り立つということはない fact6: 「この天言宗は何するがしかし改姓するということはない」ということは成り立たない fact7: もしもこの天言宗は貿易するなら「その生体防御系は千世界でないがしかし現わる」ということは誤りだ fact8: もしもなにがしかのものが千世界だということはないならそれは御労しいということはない一方で長たらしい fact9: もし仮にとある物は千世界であるとすれば「それは御労しくないし更に長たらしい」ということは成り立たない fact10: その二十六週移動平均は現わるということはない fact11: 仮に「その生体防御系は千世界でないが現わる」ということは嘘ならば「その二十六週移動平均は千世界でない」ということは真実だ
fact9 -> int1: もしその二十六週移動平均は千世界であるとしたら「御労しくないけれど長たらしい」ということは誤りである; fact1 -> int2: 「その二十六週移動平均は千世界である」ということは正しい; int1 & int2 -> hypothesis;
fact9 -> int1: {A}{aa} -> ¬(¬{AA}{aa} & {AB}{aa}); fact1 -> int2: {A}{aa}; int1 & int2 -> hypothesis;
「その証券分析は御労しい」ということは成り立つ
fact12 -> int3: もしもその生体防御系は生易しくないとすれば「貿易するししかも現わらない」ということは真実でない; fact13 -> int4: 「「何するし加えて改姓しない」ということは偽である」物はある; int4 & fact14 -> int5: その生体防御系は生易しくない; int3 & int5 -> int6: 「その生体防御系は貿易するがそれは現わるということはない」ということは成り立たない; int6 -> int7: 「「貿易するけれど現わらない」ということは偽である」物はある;
$facts$ = fact1: その二十六週移動平均は現わらないがしかしそれは千世界だ fact2: もしも「「何する一方で改姓しない」ということは嘘な」ものがあるならばあの生体防御系は生易しくない fact3: もしも何かは生易しいということはないなら「貿易するし現わらない」ということは成り立たない fact4: 「その五号墳は活動報告であるしかつ現わる」ということは成り立たない fact5: 何かは千世界であるとすれば「それは御労しいし更に長たらしい」ということは成り立つということはない fact6: 「この天言宗は何するがしかし改姓するということはない」ということは成り立たない fact7: もしもこの天言宗は貿易するなら「その生体防御系は千世界でないがしかし現わる」ということは誤りだ fact8: もしもなにがしかのものが千世界だということはないならそれは御労しいということはない一方で長たらしい fact9: もし仮にとある物は千世界であるとすれば「それは御労しくないし更に長たらしい」ということは成り立たない fact10: その二十六週移動平均は現わるということはない fact11: 仮に「その生体防御系は千世界でないが現わる」ということは嘘ならば「その二十六週移動平均は千世界でない」ということは真実だ ; $hypothesis$ = 「その二十六週移動平均は御労しいということはないが長たらしい」ということは間違いである ; $proof$ = 
fact9 -> int1: もしその二十六週移動平均は千世界であるとしたら「御労しくないけれど長たらしい」ということは誤りである; fact1 -> int2: 「その二十六週移動平均は千世界である」ということは正しい; int1 & int2 -> hypothesis; __PROVED__
事実1: その二十六週移動平均は現わらないがしかしそれは千世界だ
事実2: もしも「「何する一方で改姓しない」ということは嘘な」ものがあるならばあの生体防御系は生易しくない
事実3: もしも何かは生易しいということはないなら「貿易するし現わらない」ということは成り立たない
事実4: 「その五号墳は活動報告であるしかつ現わる」ということは成り立たない
事実5: 何かは千世界であるとすれば「それは御労しいし更に長たらしい」ということは成り立つということはない
事実6: 「この天言宗は何するがしかし改姓するということはない」ということは成り立たない
事実7: もしもこの天言宗は貿易するなら「その生体防御系は千世界でないがしかし現わる」ということは誤りだ
事実8: もしもなにがしかのものが千世界だということはないならそれは御労しいということはない一方で長たらしい
事実9: もし仮にとある物は千世界であるとすれば「それは御労しくないし更に長たらしい」ということは成り立たない
事実10: その二十六週移動平均は現わるということはない
事実11: 仮に「その生体防御系は千世界でないが現わる」ということは嘘ならば「その二十六週移動平均は千世界でない」ということは真実だ

仮説: 「その二十六週移動平均は御労しいということはないが長たらしい」ということは間違いである
1. 事実9から、推論1: "もしその二十六週移動平均は千世界であるとしたら「御労しくないけれど長たらしい」ということは誤りである"が導かれる
2. 事実1から、推論2: "「その二十六週移動平均は千世界である」ということは正しい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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