あの回転法は其れっぽいしかつ万物だ
fact1: そのツーウェイはどぎまぎする fact2: 仮に「なんらかの物は通り易くないけど甲高い」ということは成り立たないならば万物でない fact3: 仮にその無観が生み易いがしかし営めるということはないとしたらあのベイは通り易くない fact4: 仮にその無観がどぎまぎすればそれは生み易い一方で営めるない fact5: もしもそのウエイトストーンは万物でないとしたら「あの回転法は其れっぽいしさらに万物である」ということは成り立たない fact6: 甲高くない物は万物であるということはない fact7: その無観はどぎまぎする fact8: 仮にその無観がどぎまぎするとしたらそれは生み易い fact9: あのベイは通り易いということはないとすれば「そのウエイトストーンは通り易くない一方で甲高い」ということは事実でない fact10: もしもその無観が通り易くないけれど万物であるならあの回転法は万物である
fact4 & fact7 -> int1: その無観は生み易いけれど営めるない; int1 & fact3 -> int2: あのベイは通り易くない; int2 & fact9 -> int3: 「そのウエイトストーンは通り易くないがしかしそれは甲高い」ということは誤りだ; fact2 -> int4: もしも「そのウエイトストーンは通り易くない一方で甲高い」ということは成り立つということはないならそれは万物だということはない; int3 & int4 -> int5: そのウエイトストーンは万物でない; int5 & fact5 -> hypothesis;
あの回転法は其れっぽいしそれに万物だ
$facts$ = fact1: そのツーウェイはどぎまぎする fact2: 仮に「なんらかの物は通り易くないけど甲高い」ということは成り立たないならば万物でない fact3: 仮にその無観が生み易いがしかし営めるということはないとしたらあのベイは通り易くない fact4: 仮にその無観がどぎまぎすればそれは生み易い一方で営めるない fact5: もしもそのウエイトストーンは万物でないとしたら「あの回転法は其れっぽいしさらに万物である」ということは成り立たない fact6: 甲高くない物は万物であるということはない fact7: その無観はどぎまぎする fact8: 仮にその無観がどぎまぎするとしたらそれは生み易い fact9: あのベイは通り易いということはないとすれば「そのウエイトストーンは通り易くない一方で甲高い」ということは事実でない fact10: もしもその無観が通り易くないけれど万物であるならあの回転法は万物である ; $hypothesis$ = あの回転法は其れっぽいしかつ万物だ ; $proof$ = 
fact4 & fact7 -> int1: その無観は生み易いけれど営めるない; int1 & fact3 -> int2: あのベイは通り易くない; int2 & fact9 -> int3: 「そのウエイトストーンは通り易くないがしかしそれは甲高い」ということは誤りだ; fact2 -> int4: もしも「そのウエイトストーンは通り易くない一方で甲高い」ということは成り立つということはないならそれは万物だということはない; int3 & int4 -> int5: そのウエイトストーンは万物でない; int5 & fact5 -> hypothesis; __DISPROVED__
事実1: そのツーウェイはどぎまぎする
事実2: 仮に「なんらかの物は通り易くないけど甲高い」ということは成り立たないならば万物でない
事実3: 仮にその無観が生み易いがしかし営めるということはないとしたらあのベイは通り易くない
事実4: 仮にその無観がどぎまぎすればそれは生み易い一方で営めるない
事実5: もしもそのウエイトストーンは万物でないとしたら「あの回転法は其れっぽいしさらに万物である」ということは成り立たない
事実6: 甲高くない物は万物であるということはない
事実7: その無観はどぎまぎする
事実8: 仮にその無観がどぎまぎするとしたらそれは生み易い
事実9: あのベイは通り易いということはないとすれば「そのウエイトストーンは通り易くない一方で甲高い」ということは事実でない
事実10: もしもその無観が通り易くないけれど万物であるならあの回転法は万物である

仮説: あの回転法は其れっぽいしかつ万物だ
1. 事実4と事実7から、推論1: "その無観は生み易いけれど営めるない"が導かれる
2. 推論1と事実3から、推論2: "あのベイは通り易くない"が導かれる
3. 推論2と事実9から、推論3: "「そのウエイトストーンは通り易くないがしかしそれは甲高い」ということは誤りだ"が導かれる
4. 事実2から、推論4: "もしも「そのウエイトストーンは通り易くない一方で甲高い」ということは成り立つということはないならそれは万物だということはない"が導かれる
5. 推論3と推論4から、推論5: "そのウエイトストーンは万物でない"が導かれる
6. 推論5と事実5から、仮説が否定される

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