この歩み批判は手探りしない
fact1: ある物は抜き難くないけれど出来難い fact2: 抜き難くてかつ出来難い物はある fact3: 「なにがしかのものは思い入れないしそれにそれは事実無根でない」ということは本当だとすれば「それは出来難い」ということは事実である fact4: 「抜き難くない」ものはある fact5: 「移相でない」ものはある fact6: もしある物が裾綿でないかあるいは御願い致さないかもしくはどちらもであるならそれは裾綿でない fact7: 出来難い物はある fact8: 仮に「「ある物は移相でない」ということは成り立つ」ということは真実であるとすればこの進学校は功利でないがしかし抜き難い fact9: もしも何らかの物は裾綿でないとしたらそれは思い入れないし更に事実無根だということはない fact10: もし抜き難いということはない物が出来難いとしたらあの大量破壊兵器は功利だ fact11: 仮にあの大量破壊兵器が功利だとしたらこの歩み批判は手探りする fact12: この進学校は裾綿でないかまたは御願い致さない fact13: もしもあの大量破壊兵器が手探りしないとするとこの歩み批判は手探りしない
fact1 & fact10 -> int1: 「あの大量破壊兵器は功利でない」ということは成り立たない; int1 & fact11 -> hypothesis;
fact1 & fact10 -> int1: {C}{a}; int1 & fact11 -> hypothesis;
この歩み批判は手探りしない
fact14 -> int2: 仮にこの進学校は思い入れないしそれに事実無根だということはないなら出来難い; fact19 -> int3: 仮にこの進学校が裾綿でないならばそれは思い入れないしそれに事実無根でない; fact16 -> int4: この進学校が裾綿だということはないかまたは御願い致すということはないかまたはどちらもならば「それは裾綿でない」ということは成り立つ; int4 & fact18 -> int5: この進学校は裾綿でない; int3 & int5 -> int6: この進学校は思い入れないしかつ事実無根でない; int2 & int6 -> int7: この進学校は出来難い; fact15 & fact20 -> int8: この進学校は功利であるということはないけど抜き難い; int8 -> int9: この進学校は抜き難い; int7 & int9 -> int10: この進学校は出来難いしそれに抜き難い; int10 -> int11: 「出来難いしかつ抜き難い」物はある;
$facts$ = fact1: ある物は抜き難くないけれど出来難い fact2: 抜き難くてかつ出来難い物はある fact3: 「なにがしかのものは思い入れないしそれにそれは事実無根でない」ということは本当だとすれば「それは出来難い」ということは事実である fact4: 「抜き難くない」ものはある fact5: 「移相でない」ものはある fact6: もしある物が裾綿でないかあるいは御願い致さないかもしくはどちらもであるならそれは裾綿でない fact7: 出来難い物はある fact8: 仮に「「ある物は移相でない」ということは成り立つ」ということは真実であるとすればこの進学校は功利でないがしかし抜き難い fact9: もしも何らかの物は裾綿でないとしたらそれは思い入れないし更に事実無根だということはない fact10: もし抜き難いということはない物が出来難いとしたらあの大量破壊兵器は功利だ fact11: 仮にあの大量破壊兵器が功利だとしたらこの歩み批判は手探りする fact12: この進学校は裾綿でないかまたは御願い致さない fact13: もしもあの大量破壊兵器が手探りしないとするとこの歩み批判は手探りしない ; $hypothesis$ = この歩み批判は手探りしない ; $proof$ = 
fact1 & fact10 -> int1: 「あの大量破壊兵器は功利でない」ということは成り立たない; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: ある物は抜き難くないけれど出来難い
事実2: 抜き難くてかつ出来難い物はある
事実3: 「なにがしかのものは思い入れないしそれにそれは事実無根でない」ということは本当だとすれば「それは出来難い」ということは事実である
事実4: 「抜き難くない」ものはある
事実5: 「移相でない」ものはある
事実6: もしある物が裾綿でないかあるいは御願い致さないかもしくはどちらもであるならそれは裾綿でない
事実7: 出来難い物はある
事実8: 仮に「「ある物は移相でない」ということは成り立つ」ということは真実であるとすればこの進学校は功利でないがしかし抜き難い
事実9: もしも何らかの物は裾綿でないとしたらそれは思い入れないし更に事実無根だということはない
事実10: もし抜き難いということはない物が出来難いとしたらあの大量破壊兵器は功利だ
事実11: 仮にあの大量破壊兵器が功利だとしたらこの歩み批判は手探りする
事実12: この進学校は裾綿でないかまたは御願い致さない
事実13: もしもあの大量破壊兵器が手探りしないとするとこの歩み批判は手探りしない

仮説: この歩み批判は手探りしない
1. 事実1と事実10から、推論1: "「あの大量破壊兵器は功利でない」ということは成り立たない"が導かれる
2. 推論1と事実11から、仮説が否定される

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