その鍵束は尋ぬない
fact1: あのライバル会社は撥ねるし加えて大風だ fact2: あのリージョンハンドルは逝く fact3: あのライバル会社はあざといしまたそれは大風だ fact4: もし仮にあのライバル会社が撥ねればその鍵束は尋ぬ fact5: 看過し難いものは逝くとすると「あのエルゴステロールは広いということはない」ということは本当である fact6: あのライバル会社は大風である fact7: 「あのマニエリスムは尋ぬ」ということは誤りだということはない fact8: もしもあのライバル会社は尋ぬないかまたは呼び易いかもしくはどちらもならそれは尋ぬということはない fact9: もし「あのリージョンハンドルは看過し難くないけど辿れる」ということは確かでないとしたら看過し難い fact10: もし仮に何かは十五人案であるとすればそれは大風であるということはないししかもそれは呼び易い fact11: 「あのリージョンハンドルは看過し難くないけれど辿れる」ということは成り立たない fact12: あのライバル会社は尋ぬ fact13: 仮に「なにがしかのものは大風でない」ということは本当ならば「それは尋ぬということはないかまたはそれは撥ねるということはないかもしくは両方である」ということは成り立たない
fact1 -> int1: 「あのライバル会社は撥ねる」ということは成り立つ; int1 & fact4 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact4 -> hypothesis;
あの貯蔵期間は撥ねる
$facts$ = fact1: あのライバル会社は撥ねるし加えて大風だ fact2: あのリージョンハンドルは逝く fact3: あのライバル会社はあざといしまたそれは大風だ fact4: もし仮にあのライバル会社が撥ねればその鍵束は尋ぬ fact5: 看過し難いものは逝くとすると「あのエルゴステロールは広いということはない」ということは本当である fact6: あのライバル会社は大風である fact7: 「あのマニエリスムは尋ぬ」ということは誤りだということはない fact8: もしもあのライバル会社は尋ぬないかまたは呼び易いかもしくはどちらもならそれは尋ぬということはない fact9: もし「あのリージョンハンドルは看過し難くないけど辿れる」ということは確かでないとしたら看過し難い fact10: もし仮に何かは十五人案であるとすればそれは大風であるということはないししかもそれは呼び易い fact11: 「あのリージョンハンドルは看過し難くないけれど辿れる」ということは成り立たない fact12: あのライバル会社は尋ぬ fact13: 仮に「なにがしかのものは大風でない」ということは本当ならば「それは尋ぬということはないかまたはそれは撥ねるということはないかもしくは両方である」ということは成り立たない ; $hypothesis$ = その鍵束は尋ぬない ; $proof$ = 
fact1 -> int1: 「あのライバル会社は撥ねる」ということは成り立つ; int1 & fact4 -> hypothesis; __DISPROVED__
事実1: あのライバル会社は撥ねるし加えて大風だ
事実2: あのリージョンハンドルは逝く
事実3: あのライバル会社はあざといしまたそれは大風だ
事実4: もし仮にあのライバル会社が撥ねればその鍵束は尋ぬ
事実5: 看過し難いものは逝くとすると「あのエルゴステロールは広いということはない」ということは本当である
事実6: あのライバル会社は大風である
事実7: 「あのマニエリスムは尋ぬ」ということは誤りだということはない
事実8: もしもあのライバル会社は尋ぬないかまたは呼び易いかもしくはどちらもならそれは尋ぬということはない
事実9: もし「あのリージョンハンドルは看過し難くないけど辿れる」ということは確かでないとしたら看過し難い
事実10: もし仮に何かは十五人案であるとすればそれは大風であるということはないししかもそれは呼び易い
事実11: 「あのリージョンハンドルは看過し難くないけれど辿れる」ということは成り立たない
事実12: あのライバル会社は尋ぬ
事実13: 仮に「なにがしかのものは大風でない」ということは本当ならば「それは尋ぬということはないかまたはそれは撥ねるということはないかもしくは両方である」ということは成り立たない

仮説: その鍵束は尋ぬない
1. 事実1から、推論1: "「あのライバル会社は撥ねる」ということは成り立つ"が導かれる
2. 推論1と事実4から、仮説が否定される

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