「「「軽しということはない一方で沙門だ」ということは本当でない」物はある」ということは真実でない
fact1: もし仮になんらかの物は押さうないなら「節制でないが野暮ったい」ということは成り立たない fact2: 「軽しし加えて沙門だというものはない」ということは成り立つ fact3: もしなんらかの物は鼠取りでないなら「軽しないしそれは手っ取り早い」ということは嘘である fact4: 「その基金は軽しし沙門である」ということは成り立たない fact5: なんらかのものは最強進化であるなら浮き浮きする fact6: 仮に「そのぶつかり合いは節制でない一方で野暮ったい」ということは成り立たないとすれば「あの知覚作用は節制であるということはない」ということは事実だ fact7: 「「軽ししおまけに沙門である」ということは確かでない」ものはある fact8: もし「「あの滅亡は飛び付くがロンドン経由でない」ということは偽だ」ということは本当だとするとその血友は千九百三十年代後半以降である fact9: 「もしもあの研磨剤は浮き浮きするとすれば「あの滅亡は飛び付く一方でロンドン経由であるということはない」ということは本当でない」ということは確かだ fact10: 口さがないものは浮き浮きする fact11: なんらかの物が節制でないとすれば最強進化であるか口さがないか両方だ fact12: もしあの知覚作用が浮き浮きするとしたらあの研磨剤は浮き浮きする fact13: 千九百三十年代後半以降は群がるか鼠取りでない fact14: 軽しないしかつそれは沙門であるという物はない fact15: なんらかの物が群がるかあるいは鼠取りでないとしたら鼠取りでない fact16: そのぶつかり合いは押さうない
fact14 -> int1: 「その基金は軽しということはない一方でそれは沙門である」ということは間違っている; int1 -> hypothesis;
「その血友は軽しない一方で手っ取り早い」ということは成り立たない
fact24 -> int2: もし「その血友は鼠取りでない」ということは本当であるとすれば「それは軽しないしまた手っ取り早い」ということは間違っている; fact18 -> int3: もしその血友は群がるかあるいは鼠取りでないかあるいは両方ともであるとしたら鼠取りでない; fact26 -> int4: もし仮にその血友が千九百三十年代後半以降であるとしたら群がるかそれは鼠取りでないかあるいはどちらもだ; fact21 -> int5: あの知覚作用が節制でないとすればそれは最強進化であるかまたは口さがないかもしくはどちらもだ; fact25 -> int6: もし仮にそのぶつかり合いは押さうないとすれば「それは節制でなくてかつそれは野暮ったい」ということは成り立たない; int6 & fact22 -> int7: 「そのぶつかり合いは節制でない一方で野暮ったい」ということは成り立たない; fact20 & int7 -> int8: あの知覚作用は節制でない; int5 & int8 -> int9: あの知覚作用は最強進化であるかまたはそれは口さがない; fact19 -> int10: もし仮にあの知覚作用が最強進化ならば浮き浮きする; fact28 -> int11: もしも「あの知覚作用は口さがない」ということは成り立てばそれは浮き浮きする; int9 & int10 & int11 -> int12: あの知覚作用は浮き浮きする; fact27 & int12 -> int13: あの研磨剤は浮き浮きする; fact17 & int13 -> int14: 「あの滅亡は飛び付くがしかしロンドン経由でない」ということは誤っている; fact23 & int14 -> int15: その血友は千九百三十年代後半以降である; int4 & int15 -> int16: その血友は群がるかあるいはそれは鼠取りでないかあるいは両方ともだ; int3 & int16 -> int17: その血友は鼠取りでない; int2 & int17 -> hypothesis;
$facts$ = fact1: もし仮になんらかの物は押さうないなら「節制でないが野暮ったい」ということは成り立たない fact2: 「軽しし加えて沙門だというものはない」ということは成り立つ fact3: もしなんらかの物は鼠取りでないなら「軽しないしそれは手っ取り早い」ということは嘘である fact4: 「その基金は軽しし沙門である」ということは成り立たない fact5: なんらかのものは最強進化であるなら浮き浮きする fact6: 仮に「そのぶつかり合いは節制でない一方で野暮ったい」ということは成り立たないとすれば「あの知覚作用は節制であるということはない」ということは事実だ fact7: 「「軽ししおまけに沙門である」ということは確かでない」ものはある fact8: もし「「あの滅亡は飛び付くがロンドン経由でない」ということは偽だ」ということは本当だとするとその血友は千九百三十年代後半以降である fact9: 「もしもあの研磨剤は浮き浮きするとすれば「あの滅亡は飛び付く一方でロンドン経由であるということはない」ということは本当でない」ということは確かだ fact10: 口さがないものは浮き浮きする fact11: なんらかの物が節制でないとすれば最強進化であるか口さがないか両方だ fact12: もしあの知覚作用が浮き浮きするとしたらあの研磨剤は浮き浮きする fact13: 千九百三十年代後半以降は群がるか鼠取りでない fact14: 軽しないしかつそれは沙門であるという物はない fact15: なんらかの物が群がるかあるいは鼠取りでないとしたら鼠取りでない fact16: そのぶつかり合いは押さうない ; $hypothesis$ = 「「「軽しということはない一方で沙門だ」ということは本当でない」物はある」ということは真実でない ; $proof$ = 
fact14 -> int1: 「その基金は軽しということはない一方でそれは沙門である」ということは間違っている; int1 -> hypothesis; __DISPROVED__
事実1: もし仮になんらかの物は押さうないなら「節制でないが野暮ったい」ということは成り立たない
事実2: 「軽しし加えて沙門だというものはない」ということは成り立つ
事実3: もしなんらかの物は鼠取りでないなら「軽しないしそれは手っ取り早い」ということは嘘である
事実4: 「その基金は軽しし沙門である」ということは成り立たない
事実5: なんらかのものは最強進化であるなら浮き浮きする
事実6: 仮に「そのぶつかり合いは節制でない一方で野暮ったい」ということは成り立たないとすれば「あの知覚作用は節制であるということはない」ということは事実だ
事実7: 「「軽ししおまけに沙門である」ということは確かでない」ものはある
事実8: もし「「あの滅亡は飛び付くがロンドン経由でない」ということは偽だ」ということは本当だとするとその血友は千九百三十年代後半以降である
事実9: 「もしもあの研磨剤は浮き浮きするとすれば「あの滅亡は飛び付く一方でロンドン経由であるということはない」ということは本当でない」ということは確かだ
事実10: 口さがないものは浮き浮きする
事実11: なんらかの物が節制でないとすれば最強進化であるか口さがないか両方だ
事実12: もしあの知覚作用が浮き浮きするとしたらあの研磨剤は浮き浮きする
事実13: 千九百三十年代後半以降は群がるか鼠取りでない
事実14: 軽しないしかつそれは沙門であるという物はない
事実15: なんらかの物が群がるかあるいは鼠取りでないとしたら鼠取りでない
事実16: そのぶつかり合いは押さうない

仮説: 「「「軽しということはない一方で沙門だ」ということは本当でない」物はある」ということは真実でない
1. 事実14から、推論1: "「その基金は軽しということはない一方でそれは沙門である」ということは間違っている"が導かれる
2. 推論1から、仮説が否定される

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