「「伯父上だとすれば「明る過ぎないかまたは流し出さないかあるいは両方である」ということは誤りである」物はある」ということは成り立たない
fact1: もしもなにかは流し出さないとすれば「迷信深くなくてそれはイメージし易くない」ということは誤りだ fact2: その株式投信が冗談っぽいかまたは潮風でないかどちらもであるならばそのタイム計算用は増殖する fact3: 「もしも「なにかは御労しいがしかし卑しくない」ということは成り立たないならばそれは供与する」ということは事実である fact4: もしあの遠近コーナーピンが制約するがしかし参りでないならばその正常値は参りである fact5: 「もしつれないとしたら還元出来ないか宣言すらないか両方ともである」物はある fact6: 迷信深いものは伯父上でない fact7: 仮にある物は参りならば「発生し易くないしそれは自己完結する」ということは偽である fact8: 伯父上は流し出さない fact9: もし「とあるものは迷信深くないしおまけにイメージし易くない」ということは偽だとしたらイメージし易い fact10: もしもあのワンテンシックスは伯父上なら「明る過ぎないかそれは流し出す」ということは成り立つということはない fact11: もしもなんらかの物は物々しいならば「御労しいけれど卑しくない」ということは偽だ fact12: もしもとある物は明る過ぎないとしたらそれは流し出さない fact13: 仮に「「発生し易くないが自己完結する」ということは成り立たない」ものがあるならばあの月経前は疑わしい fact14: そのタイム計算用が供与するとすればあのワンテンシックスは伯父上であるかまたは明る過ぎるということはない fact15: もしこの月経前が疑わしいならその株式投信は冗談っぽいかそれは潮風でない fact16: もし仮にあるものは迷信深いということはないとしたら「それは明る過ぎないかまたはそれは流し出さない」ということは誤りだ fact17: あの遠近コーナーピンは制約するがそれは参りでない fact18: もしもなにかは増殖するとするとそれは物々しい
fact6 -> int1: 「あのワンテンシックスは迷信深い」ということは成り立つとすればそれは伯父上でない; void -> assump2: 以下のように仮定する。あのワンテンシックスは迷信深い; int1 & assump2 -> int2: あのワンテンシックスは伯父上でない; void -> assump1: 以下のように仮定する。あのワンテンシックスは伯父上だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あのワンテンシックスは迷信深くない; fact16 -> int5: もしもあのワンテンシックスは迷信深くないとしたら「明る過ぎるということはないかまたは流し出さないか両方ともだ」ということは偽である; int4 & int5 -> int6: 「あのワンテンシックスは明る過ぎないかまたは流し出さないかまたはどちらもである」ということは偽である; [assump1] & int6 -> int7: 仮にあのワンテンシックスは伯父上であるとしたら「明る過ぎるということはないかまたはそれは流し出すということはないかあるいは両方ともだ」ということは事実と異なる; int7 -> hypothesis;
あのワンテンシックスはイメージし易い
fact27 -> int8: もし「あのワンテンシックスは迷信深くないし加えてイメージし易くない」ということは事実と異なるならそれはイメージし易い; fact24 -> int9: 仮にあのワンテンシックスは流し出さないなら「迷信深くないしおまけにイメージし易くない」ということは偽である; fact21 -> int10: 仮に「そのタイム計算用は御労しい一方で卑しくない」ということは間違っているとしたら供与する; fact25 -> int11: 仮にそのタイム計算用は物々しいなら「「御労しいがしかし卑しくない」ということは成り立つ」ということは間違いだ; fact31 -> int12: そのタイム計算用は増殖するとすると「物々しい」ということは正しい; fact19 -> int13: その正常値は参りだとすれば「発生し易くないしおまけにそれは自己完結する」ということは偽である; fact29 & fact22 -> int14: その正常値は参りだ; int13 & int14 -> int15: 「「その正常値は発生し易くないけど自己完結する」ということは真実である」ということは成り立たない; int15 -> int16: 「「発生し易くないが自己完結する」ということは誤りな」ものはある; int16 & fact28 -> int17: この月経前は疑わしい; fact26 & int17 -> int18: その株式投信は冗談っぽいかあるいは潮風でない; fact20 & int18 -> int19: そのタイム計算用は増殖する; int12 & int19 -> int20: そのタイム計算用は物々しい; int11 & int20 -> int21: 「そのタイム計算用は御労しいけれど卑しくない」ということは成り立たない; int10 & int21 -> int22: そのタイム計算用は供与する; fact23 & int22 -> int23: あのワンテンシックスは伯父上であるか明る過ぎない; fact32 -> int24: もし仮に「あのワンテンシックスは伯父上である」ということは確かなら流し出さない; fact30 -> int25: もしもあのワンテンシックスが明る過ぎないとすればそれは流し出さない; int23 & int24 & int25 -> int26: あのワンテンシックスは流し出さない; int9 & int26 -> int27: 「あのワンテンシックスは迷信深くないしイメージし易いということはない」ということは誤りだ; int8 & int27 -> hypothesis;
$facts$ = fact1: もしもなにかは流し出さないとすれば「迷信深くなくてそれはイメージし易くない」ということは誤りだ fact2: その株式投信が冗談っぽいかまたは潮風でないかどちらもであるならばそのタイム計算用は増殖する fact3: 「もしも「なにかは御労しいがしかし卑しくない」ということは成り立たないならばそれは供与する」ということは事実である fact4: もしあの遠近コーナーピンが制約するがしかし参りでないならばその正常値は参りである fact5: 「もしつれないとしたら還元出来ないか宣言すらないか両方ともである」物はある fact6: 迷信深いものは伯父上でない fact7: 仮にある物は参りならば「発生し易くないしそれは自己完結する」ということは偽である fact8: 伯父上は流し出さない fact9: もし「とあるものは迷信深くないしおまけにイメージし易くない」ということは偽だとしたらイメージし易い fact10: もしもあのワンテンシックスは伯父上なら「明る過ぎないかそれは流し出す」ということは成り立つということはない fact11: もしもなんらかの物は物々しいならば「御労しいけれど卑しくない」ということは偽だ fact12: もしもとある物は明る過ぎないとしたらそれは流し出さない fact13: 仮に「「発生し易くないが自己完結する」ということは成り立たない」ものがあるならばあの月経前は疑わしい fact14: そのタイム計算用が供与するとすればあのワンテンシックスは伯父上であるかまたは明る過ぎるということはない fact15: もしこの月経前が疑わしいならその株式投信は冗談っぽいかそれは潮風でない fact16: もし仮にあるものは迷信深いということはないとしたら「それは明る過ぎないかまたはそれは流し出さない」ということは誤りだ fact17: あの遠近コーナーピンは制約するがそれは参りでない fact18: もしもなにかは増殖するとするとそれは物々しい ; $hypothesis$ = 「「伯父上だとすれば「明る過ぎないかまたは流し出さないかあるいは両方である」ということは誤りである」物はある」ということは成り立たない ; $proof$ = 
fact6 -> int1: 「あのワンテンシックスは迷信深い」ということは成り立つとすればそれは伯父上でない; void -> assump2: 以下のように仮定する。あのワンテンシックスは迷信深い; int1 & assump2 -> int2: あのワンテンシックスは伯父上でない; void -> assump1: 以下のように仮定する。あのワンテンシックスは伯父上だ; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: あのワンテンシックスは迷信深くない; fact16 -> int5: もしもあのワンテンシックスは迷信深くないとしたら「明る過ぎるということはないかまたは流し出さないか両方ともだ」ということは偽である; int4 & int5 -> int6: 「あのワンテンシックスは明る過ぎないかまたは流し出さないかまたはどちらもである」ということは偽である; [assump1] & int6 -> int7: 仮にあのワンテンシックスは伯父上であるとしたら「明る過ぎるということはないかまたはそれは流し出すということはないかあるいは両方ともだ」ということは事実と異なる; int7 -> hypothesis; __DISPROVED__
事実1: もしもなにかは流し出さないとすれば「迷信深くなくてそれはイメージし易くない」ということは誤りだ
事実2: その株式投信が冗談っぽいかまたは潮風でないかどちらもであるならばそのタイム計算用は増殖する
事実3: 「もしも「なにかは御労しいがしかし卑しくない」ということは成り立たないならばそれは供与する」ということは事実である
事実4: もしあの遠近コーナーピンが制約するがしかし参りでないならばその正常値は参りである
事実5: 「もしつれないとしたら還元出来ないか宣言すらないか両方ともである」物はある
事実6: 迷信深いものは伯父上でない
事実7: 仮にある物は参りならば「発生し易くないしそれは自己完結する」ということは偽である
事実8: 伯父上は流し出さない
事実9: もし「とあるものは迷信深くないしおまけにイメージし易くない」ということは偽だとしたらイメージし易い
事実10: もしもあのワンテンシックスは伯父上なら「明る過ぎないかそれは流し出す」ということは成り立つということはない
事実11: もしもなんらかの物は物々しいならば「御労しいけれど卑しくない」ということは偽だ
事実12: もしもとある物は明る過ぎないとしたらそれは流し出さない
事実13: 仮に「「発生し易くないが自己完結する」ということは成り立たない」ものがあるならばあの月経前は疑わしい
事実14: そのタイム計算用が供与するとすればあのワンテンシックスは伯父上であるかまたは明る過ぎるということはない
事実15: もしこの月経前が疑わしいならその株式投信は冗談っぽいかそれは潮風でない
事実16: もし仮にあるものは迷信深いということはないとしたら「それは明る過ぎないかまたはそれは流し出さない」ということは誤りだ
事実17: あの遠近コーナーピンは制約するがそれは参りでない
事実18: もしもなにかは増殖するとするとそれは物々しい

仮説: 「「伯父上だとすれば「明る過ぎないかまたは流し出さないかあるいは両方である」ということは誤りである」物はある」ということは成り立たない
1. 事実6から、推論1: "「あのワンテンシックスは迷信深い」ということは成り立つとすればそれは伯父上でない"が導かれる
2. 仮定2: 以下のように仮定する。あのワンテンシックスは迷信深い
3. 推論1と仮定2から、推論2: "あのワンテンシックスは伯父上でない"が導かれる
4. 仮定1: 以下のように仮定する。あのワンテンシックスは伯父上だ
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "あのワンテンシックスは迷信深くない"が導かれる
7. 事実16から、推論5: "もしもあのワンテンシックスは迷信深くないとしたら「明る過ぎるということはないかまたは流し出さないか両方ともだ」ということは偽である"が導かれる
8. 推論4と推論5から、推論6: "「あのワンテンシックスは明る過ぎないかまたは流し出さないかまたはどちらもである」ということは偽である"が導かれる
9. [仮定1]と推論6から、推論7: "仮にあのワンテンシックスは伯父上であるとしたら「明る過ぎるということはないかまたはそれは流し出すということはないかあるいは両方ともだ」ということは事実と異なる"が導かれる
10. 推論7から、仮説が否定される

よって、仮説が否定されました。