「あの機根は合併し易いけれど切り難くない」ということは成り立つということはない
fact1: もしも「ある物は身軽いということはないがしかし現われる」ということは成り立たないならそれは無理である fact2: 「もしもあの機根が無理だとしたらあの機根は切り難いということはない」ということは正しい fact3: あの旁はタンニンである fact4: 仮にある物は無理であるならそれは切り難くない fact5: 「この天才脳は情景である」ということは正しい fact6: 無理は合併し易いがしかし切り難くない fact7: もしあの機根がタンニンだとすればあの旁は切り難い fact8: もしもあの旁が合併し易いならばあの機根はタンニンである fact9: あの機根は切り難くない fact10: 仮にこの天才脳がタンニンでないとするとあの旁はおもろい fact11: 「あの機根はタンニンだ」ということは真実だ fact12: もしもなにがしかの物は無理でないとしたら「それは合併し易いがしかし切り難いということはない」ということは成り立たない fact13: あの旁がタンニンだとすればあの機根は無理である fact14: あの旁がタンニンであるがしかし無理であるということはないとしたらあの組織は無理だ fact15: 「おもろいということはないものはタンニンだ一方で無理であるということはない」ということは事実である fact16: もし仮にあの旁が合併し易いとすれば無理であるしタンニンでない fact17: あの旁がおもろいししかも無理だとしたらあの機根は無理でない fact18: 仮にあの旁はＩＢＳでないとしたら「それは身軽いということはないしまた現われる」ということは誤りだ fact19: 何らかの物が情景であるならばそれはタンニンでないし禁じない
fact6 -> int1: 仮にあの機根が無理だとしたらそれは合併し易いけれど切り難くない; fact3 & fact13 -> int2: 「あの機根は無理である」ということは成り立つ; int1 & int2 -> hypothesis;
「あの機根は合併し易い一方で切り難いということはない」ということは成り立たない
fact22 -> int3: あの機根は無理でないとすると「合併し易くておまけに切り難いということはない」ということは誤りだ; fact23 -> int4: この天才脳が情景だとすればそれはタンニンでないしその上禁じない; int4 & fact25 -> int5: この天才脳はタンニンだということはなくてかつ禁じない; int5 -> int6: この天才脳はタンニンでない; fact20 & int6 -> int7: 「あの旁はおもろい」ということは確かだ; fact21 -> int8: 仮に「「あの旁は身軽くないがしかし現われる」ということは成り立つ」ということは偽だとすればそれは無理である;
$facts$ = fact1: もしも「ある物は身軽いということはないがしかし現われる」ということは成り立たないならそれは無理である fact2: 「もしもあの機根が無理だとしたらあの機根は切り難いということはない」ということは正しい fact3: あの旁はタンニンである fact4: 仮にある物は無理であるならそれは切り難くない fact5: 「この天才脳は情景である」ということは正しい fact6: 無理は合併し易いがしかし切り難くない fact7: もしあの機根がタンニンだとすればあの旁は切り難い fact8: もしもあの旁が合併し易いならばあの機根はタンニンである fact9: あの機根は切り難くない fact10: 仮にこの天才脳がタンニンでないとするとあの旁はおもろい fact11: 「あの機根はタンニンだ」ということは真実だ fact12: もしもなにがしかの物は無理でないとしたら「それは合併し易いがしかし切り難いということはない」ということは成り立たない fact13: あの旁がタンニンだとすればあの機根は無理である fact14: あの旁がタンニンであるがしかし無理であるということはないとしたらあの組織は無理だ fact15: 「おもろいということはないものはタンニンだ一方で無理であるということはない」ということは事実である fact16: もし仮にあの旁が合併し易いとすれば無理であるしタンニンでない fact17: あの旁がおもろいししかも無理だとしたらあの機根は無理でない fact18: 仮にあの旁はＩＢＳでないとしたら「それは身軽いということはないしまた現われる」ということは誤りだ fact19: 何らかの物が情景であるならばそれはタンニンでないし禁じない ; $hypothesis$ = 「あの機根は合併し易いけれど切り難くない」ということは成り立つということはない ; $proof$ = 
fact6 -> int1: 仮にあの機根が無理だとしたらそれは合併し易いけれど切り難くない; fact3 & fact13 -> int2: 「あの機根は無理である」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしも「ある物は身軽いということはないがしかし現われる」ということは成り立たないならそれは無理である
事実2: 「もしもあの機根が無理だとしたらあの機根は切り難いということはない」ということは正しい
事実3: あの旁はタンニンである
事実4: 仮にある物は無理であるならそれは切り難くない
事実5: 「この天才脳は情景である」ということは正しい
事実6: 無理は合併し易いがしかし切り難くない
事実7: もしあの機根がタンニンだとすればあの旁は切り難い
事実8: もしもあの旁が合併し易いならばあの機根はタンニンである
事実9: あの機根は切り難くない
事実10: 仮にこの天才脳がタンニンでないとするとあの旁はおもろい
事実11: 「あの機根はタンニンだ」ということは真実だ
事実12: もしもなにがしかの物は無理でないとしたら「それは合併し易いがしかし切り難いということはない」ということは成り立たない
事実13: あの旁がタンニンだとすればあの機根は無理である
事実14: あの旁がタンニンであるがしかし無理であるということはないとしたらあの組織は無理だ
事実15: 「おもろいということはないものはタンニンだ一方で無理であるということはない」ということは事実である
事実16: もし仮にあの旁が合併し易いとすれば無理であるしタンニンでない
事実17: あの旁がおもろいししかも無理だとしたらあの機根は無理でない
事実18: 仮にあの旁はＩＢＳでないとしたら「それは身軽いということはないしまた現われる」ということは誤りだ
事実19: 何らかの物が情景であるならばそれはタンニンでないし禁じない

仮説: 「あの機根は合併し易いけれど切り難くない」ということは成り立つということはない
1. 事実6から、推論1: "仮にあの機根が無理だとしたらそれは合併し易いけれど切り難くない"が導かれる
2. 事実3と事実13から、推論2: "「あの機根は無理である」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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