あのローマ数字は止み難くない
fact1: もしも何かはぼた山でないとしたら食い止めない fact2: あのローマ数字が罷り向うがしかし止み難くないならあのバットは止み難い fact3: あの雑木は証拠金でない fact4: 生え易いということはないものは罷り向うかあるいは吊耳鉄鍋でないかもしくは両方ともである fact5: 「その累計額は先決であるし更に生え易い」ということは成り立つということはない fact6: あのローマ数字は罷り向う fact7: もし「その累計額は先決であるししかも生え易い」ということは偽であるとするとあの企業・組織は生え易いということはない fact8: もし仮に「その叩き技法は吊耳鉄鍋であるということはないけどアセトニトリルである」ということは本当であるならあのローマ数字は吊耳鉄鍋でない fact9: 仮になにがしかの物は吊耳鉄鍋であるとすれば「生え易くない」ということは誤っている fact10: もしあの企業・組織が生え易くないし食い止めるということはないとすればあの叩き技法は生え易い fact11: 生え易い物は止み難い fact12: もしあのローマ数字が罷り向うなら吊耳鉄鍋である fact13: もし「あの雑木は証拠金でない」ということは事実であるとしたらあの企業・組織はぼた山でない一方でそれはイスクラである
fact12 & fact6 -> int1: 「あのローマ数字は吊耳鉄鍋である」ということは成り立つ; fact9 -> int2: もしあのローマ数字は吊耳鉄鍋であるならそれは生え易い; int1 & int2 -> int3: あのローマ数字は生え易い; fact11 -> int4: もしもあのローマ数字が生え易いとするとそれは止み難い; int3 & int4 -> hypothesis;
あのバットは止み難い
fact20 & fact21 -> int5: あの企業・組織は生え易いということはない; fact16 -> int6: もしあの企業・組織はぼた山でないとしたらそれは食い止めない; fact17 & fact19 -> int7: あの企業・組織はぼた山でない一方でイスクラだ; int7 -> int8: あの企業・組織はぼた山でない; int6 & int8 -> int9: あの企業・組織は食い止めるということはない; int5 & int9 -> int10: あの企業・組織は生え易くないし食い止めない; fact15 & int10 -> int11: その叩き技法は生え易い;
$facts$ = fact1: もしも何かはぼた山でないとしたら食い止めない fact2: あのローマ数字が罷り向うがしかし止み難くないならあのバットは止み難い fact3: あの雑木は証拠金でない fact4: 生え易いということはないものは罷り向うかあるいは吊耳鉄鍋でないかもしくは両方ともである fact5: 「その累計額は先決であるし更に生え易い」ということは成り立つということはない fact6: あのローマ数字は罷り向う fact7: もし「その累計額は先決であるししかも生え易い」ということは偽であるとするとあの企業・組織は生え易いということはない fact8: もし仮に「その叩き技法は吊耳鉄鍋であるということはないけどアセトニトリルである」ということは本当であるならあのローマ数字は吊耳鉄鍋でない fact9: 仮になにがしかの物は吊耳鉄鍋であるとすれば「生え易くない」ということは誤っている fact10: もしあの企業・組織が生え易くないし食い止めるということはないとすればあの叩き技法は生え易い fact11: 生え易い物は止み難い fact12: もしあのローマ数字が罷り向うなら吊耳鉄鍋である fact13: もし「あの雑木は証拠金でない」ということは事実であるとしたらあの企業・組織はぼた山でない一方でそれはイスクラである ; $hypothesis$ = あのローマ数字は止み難くない ; $proof$ = 
fact12 & fact6 -> int1: 「あのローマ数字は吊耳鉄鍋である」ということは成り立つ; fact9 -> int2: もしあのローマ数字は吊耳鉄鍋であるならそれは生え易い; int1 & int2 -> int3: あのローマ数字は生え易い; fact11 -> int4: もしもあのローマ数字が生え易いとするとそれは止み難い; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もしも何かはぼた山でないとしたら食い止めない
事実2: あのローマ数字が罷り向うがしかし止み難くないならあのバットは止み難い
事実3: あの雑木は証拠金でない
事実4: 生え易いということはないものは罷り向うかあるいは吊耳鉄鍋でないかもしくは両方ともである
事実5: 「その累計額は先決であるし更に生え易い」ということは成り立つということはない
事実6: あのローマ数字は罷り向う
事実7: もし「その累計額は先決であるししかも生え易い」ということは偽であるとするとあの企業・組織は生え易いということはない
事実8: もし仮に「その叩き技法は吊耳鉄鍋であるということはないけどアセトニトリルである」ということは本当であるならあのローマ数字は吊耳鉄鍋でない
事実9: 仮になにがしかの物は吊耳鉄鍋であるとすれば「生え易くない」ということは誤っている
事実10: もしあの企業・組織が生え易くないし食い止めるということはないとすればあの叩き技法は生え易い
事実11: 生え易い物は止み難い
事実12: もしあのローマ数字が罷り向うなら吊耳鉄鍋である
事実13: もし「あの雑木は証拠金でない」ということは事実であるとしたらあの企業・組織はぼた山でない一方でそれはイスクラである

仮説: あのローマ数字は止み難くない
1. 事実12と事実6から、推論1: "「あのローマ数字は吊耳鉄鍋である」ということは成り立つ"が導かれる
2. 事実9から、推論2: "もしあのローマ数字は吊耳鉄鍋であるならそれは生え易い"が導かれる
3. 推論1と推論2から、推論3: "あのローマ数字は生え易い"が導かれる
4. 事実11から、推論4: "もしもあのローマ数字が生え易いとするとそれは止み難い"が導かれる
5. 推論3と推論4から、仮説が否定される

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