「「「起こし難いかまたは受け合えるかあるいは両方である」ということは間違いな」ものはある」ということは誤りである
fact1: 「その梟便は起こし難いかあるいは狭過ぎるかあるいはどちらもである」ということは成り立たない fact2: もしもそのＳＦ隊員が勃発しないかまたは受け合えないかまたは両方ともなら容リ法でない fact3: もしこの手工具は生まれ難くないとすると「その梟便は狭過ぎない」ということは真実だ fact4: この手工具は仄白くない fact5: 「使用し難いということはない」物はある fact6: この手工具が狭過ぎないかまたは生まれ難くないかあるいはどちらもだとすると受け合えない fact7: 仮にあるものが打っ殺すしそれが受け合えるとしたら狭過ぎない fact8: この手工具は狭過ぎないかまたは生まれ難くないかまたはどちらもである fact9: 「起こし難いかまたは受け合えるか両方ともである」物はある fact10: 仮にこの手工具が受け合えないならばその梟便は生まれ難くない fact11: 「密輸入でない」ものはある fact12: 何らかの物は狭過ぎるということはない fact13: 仮にこの手工具は受け合えないとしたら「その梟便は起こし難いかあるいは受け合える」ということは嘘である fact14: 仮にこの手工具は起こし難くないとすれば「それは受け合えない」ということは成り立つ fact15: この手工具が受け合えないならその梟便は狭過ぎない fact16: 「「受け合えるかまたは生まれ難いかあるいは両方だ」ということは偽な」物はある
fact6 & fact8 -> int1: この手工具は受け合えない; int1 & fact13 -> int2: 「その梟便は起こし難いかもしくは受け合えるかまたは両方ともだ」ということは誤りである; int2 -> hypothesis;
その梟便は狭過ぎない
fact17 -> int3: もしその梟便は打っ殺すし受け合えるとするとそれは狭過ぎない;
$facts$ = fact1: 「その梟便は起こし難いかあるいは狭過ぎるかあるいはどちらもである」ということは成り立たない fact2: もしもそのＳＦ隊員が勃発しないかまたは受け合えないかまたは両方ともなら容リ法でない fact3: もしこの手工具は生まれ難くないとすると「その梟便は狭過ぎない」ということは真実だ fact4: この手工具は仄白くない fact5: 「使用し難いということはない」物はある fact6: この手工具が狭過ぎないかまたは生まれ難くないかあるいはどちらもだとすると受け合えない fact7: 仮にあるものが打っ殺すしそれが受け合えるとしたら狭過ぎない fact8: この手工具は狭過ぎないかまたは生まれ難くないかまたはどちらもである fact9: 「起こし難いかまたは受け合えるか両方ともである」物はある fact10: 仮にこの手工具が受け合えないならばその梟便は生まれ難くない fact11: 「密輸入でない」ものはある fact12: 何らかの物は狭過ぎるということはない fact13: 仮にこの手工具は受け合えないとしたら「その梟便は起こし難いかあるいは受け合える」ということは嘘である fact14: 仮にこの手工具は起こし難くないとすれば「それは受け合えない」ということは成り立つ fact15: この手工具が受け合えないならその梟便は狭過ぎない fact16: 「「受け合えるかまたは生まれ難いかあるいは両方だ」ということは偽な」物はある ; $hypothesis$ = 「「「起こし難いかまたは受け合えるかあるいは両方である」ということは間違いな」ものはある」ということは誤りである ; $proof$ = 
fact6 & fact8 -> int1: この手工具は受け合えない; int1 & fact13 -> int2: 「その梟便は起こし難いかもしくは受け合えるかまたは両方ともだ」ということは誤りである; int2 -> hypothesis; __DISPROVED__
事実1: 「その梟便は起こし難いかあるいは狭過ぎるかあるいはどちらもである」ということは成り立たない
事実2: もしもそのＳＦ隊員が勃発しないかまたは受け合えないかまたは両方ともなら容リ法でない
事実3: もしこの手工具は生まれ難くないとすると「その梟便は狭過ぎない」ということは真実だ
事実4: この手工具は仄白くない
事実5: 「使用し難いということはない」物はある
事実6: この手工具が狭過ぎないかまたは生まれ難くないかあるいはどちらもだとすると受け合えない
事実7: 仮にあるものが打っ殺すしそれが受け合えるとしたら狭過ぎない
事実8: この手工具は狭過ぎないかまたは生まれ難くないかまたはどちらもである
事実9: 「起こし難いかまたは受け合えるか両方ともである」物はある
事実10: 仮にこの手工具が受け合えないならばその梟便は生まれ難くない
事実11: 「密輸入でない」ものはある
事実12: 何らかの物は狭過ぎるということはない
事実13: 仮にこの手工具は受け合えないとしたら「その梟便は起こし難いかあるいは受け合える」ということは嘘である
事実14: 仮にこの手工具は起こし難くないとすれば「それは受け合えない」ということは成り立つ
事実15: この手工具が受け合えないならその梟便は狭過ぎない
事実16: 「「受け合えるかまたは生まれ難いかあるいは両方だ」ということは偽な」物はある

仮説: 「「「起こし難いかまたは受け合えるかあるいは両方である」ということは間違いな」ものはある」ということは誤りである
1. 事実6と事実8から、推論1: "この手工具は受け合えない"が導かれる
2. 推論1と事実13から、推論2: "「その梟便は起こし難いかもしくは受け合えるかまたは両方ともだ」ということは誤りである"が導かれる
3. 推論2から、仮説が否定される

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