あの一打は擦り下ろす
fact1: もし仮になにかはツーＯならば転び出ない fact2: もしも何かは同参しないとすれば擦り下ろす fact3: あの二十五集は擦り下ろす fact4: あの一打は放擲するということはない fact5: 「「光合成するし入所出来ない」ということは成り立つということはない」ものはある fact6: あの一打は同参する fact7: あの一打は編入合併でない一方で耐え切れる fact8: あの一打が動き難いならそれは入所出来るということはないが姉らしい fact9: もしも「「光合成するし入所出来ない」ということは成り立たない」物があればその形式公理系はティ・ショットしない fact10: もしあの一打が放擲するし更に追放ならばそれは擦り下ろさない fact11: 仮にあるものが放擲するしおまけに追放であるとしたら擦り下ろさない fact12: 仮に何かは御勧め致すとしたら同参するということはないけど狂い始める fact13: あの一打が同参するとすると放擲しない fact14: もし仮に「あの砕石は同参しないかまたは実像であるかどちらもである」ということは間違いであるとするとあの一打は同参しない fact15: 仮にその形式公理系がティ・ショットしないならばディスプレーしないしかつ密封するということはない fact16: もし仮に「ディスプレーするということはない」ものはあるなら「あの砕石はツーＯであるかあるいはおっかしい」ということは本当である fact17: 仮に「あの一打は同参する」ということは正しいなら放擲しないししかも追放だ fact18: もしもなにかは放擲しないけれど追放であるならば「それは擦り下ろさない」ということは成り立つ fact19: この貯水池は放擲しない fact20: もしなにかは転び出ないとすれば「それは同参するということはないかそれは実像だ」ということは偽である
fact17 & fact6 -> int1: あの一打は放擲しないけれど追放である; fact18 -> int2: あの一打が放擲しないけど追放であるなら擦り下ろさない; int1 & int2 -> hypothesis;
あの一打は擦り下ろす
fact24 -> int3: あの一打は同参しないならば「それは擦り下ろす」ということは成り立つ; fact22 -> int4: もし仮にあの砕石は転び出ないとすれば「同参するということはないかもしくはそれは実像であるかもしくは両方ともだ」ということは偽だ; fact28 & fact23 -> int5: その形式公理系はティ・ショットしない; fact26 & int5 -> int6: その形式公理系はディスプレーしないしさらに密封しない; int6 -> int7: その形式公理系はディスプレーしない; int7 -> int8: 「「ディスプレーしない」ということは事実な」物はある; int8 & fact25 -> int9: 「あの砕石はツーＯであるかあるいはおっかしい」ということは事実だ; fact27 -> int10: もし仮にあの砕石はツーＯであるなら転び出ない;
$facts$ = fact1: もし仮になにかはツーＯならば転び出ない fact2: もしも何かは同参しないとすれば擦り下ろす fact3: あの二十五集は擦り下ろす fact4: あの一打は放擲するということはない fact5: 「「光合成するし入所出来ない」ということは成り立つということはない」ものはある fact6: あの一打は同参する fact7: あの一打は編入合併でない一方で耐え切れる fact8: あの一打が動き難いならそれは入所出来るということはないが姉らしい fact9: もしも「「光合成するし入所出来ない」ということは成り立たない」物があればその形式公理系はティ・ショットしない fact10: もしあの一打が放擲するし更に追放ならばそれは擦り下ろさない fact11: 仮にあるものが放擲するしおまけに追放であるとしたら擦り下ろさない fact12: 仮に何かは御勧め致すとしたら同参するということはないけど狂い始める fact13: あの一打が同参するとすると放擲しない fact14: もし仮に「あの砕石は同参しないかまたは実像であるかどちらもである」ということは間違いであるとするとあの一打は同参しない fact15: 仮にその形式公理系がティ・ショットしないならばディスプレーしないしかつ密封するということはない fact16: もし仮に「ディスプレーするということはない」ものはあるなら「あの砕石はツーＯであるかあるいはおっかしい」ということは本当である fact17: 仮に「あの一打は同参する」ということは正しいなら放擲しないししかも追放だ fact18: もしもなにかは放擲しないけれど追放であるならば「それは擦り下ろさない」ということは成り立つ fact19: この貯水池は放擲しない fact20: もしなにかは転び出ないとすれば「それは同参するということはないかそれは実像だ」ということは偽である ; $hypothesis$ = あの一打は擦り下ろす ; $proof$ = 
fact17 & fact6 -> int1: あの一打は放擲しないけれど追放である; fact18 -> int2: あの一打が放擲しないけど追放であるなら擦り下ろさない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮になにかはツーＯならば転び出ない
事実2: もしも何かは同参しないとすれば擦り下ろす
事実3: あの二十五集は擦り下ろす
事実4: あの一打は放擲するということはない
事実5: 「「光合成するし入所出来ない」ということは成り立つということはない」ものはある
事実6: あの一打は同参する
事実7: あの一打は編入合併でない一方で耐え切れる
事実8: あの一打が動き難いならそれは入所出来るということはないが姉らしい
事実9: もしも「「光合成するし入所出来ない」ということは成り立たない」物があればその形式公理系はティ・ショットしない
事実10: もしあの一打が放擲するし更に追放ならばそれは擦り下ろさない
事実11: 仮にあるものが放擲するしおまけに追放であるとしたら擦り下ろさない
事実12: 仮に何かは御勧め致すとしたら同参するということはないけど狂い始める
事実13: あの一打が同参するとすると放擲しない
事実14: もし仮に「あの砕石は同参しないかまたは実像であるかどちらもである」ということは間違いであるとするとあの一打は同参しない
事実15: 仮にその形式公理系がティ・ショットしないならばディスプレーしないしかつ密封するということはない
事実16: もし仮に「ディスプレーするということはない」ものはあるなら「あの砕石はツーＯであるかあるいはおっかしい」ということは本当である
事実17: 仮に「あの一打は同参する」ということは正しいなら放擲しないししかも追放だ
事実18: もしもなにかは放擲しないけれど追放であるならば「それは擦り下ろさない」ということは成り立つ
事実19: この貯水池は放擲しない
事実20: もしなにかは転び出ないとすれば「それは同参するということはないかそれは実像だ」ということは偽である

仮説: あの一打は擦り下ろす
1. 事実17と事実6から、推論1: "あの一打は放擲しないけれど追放である"が導かれる
2. 事実18から、推論2: "あの一打が放擲しないけど追放であるなら擦り下ろさない"が導かれる
3. 推論1と推論2から、仮説が否定される

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