あの全成績は風紀だ
fact1: このパケットがむさくるしいとしたらあの全成績は危なっかしい fact2: もしこのパケットは風紀であるとすると「あの全成績は風紀でない」ということは成り立つ fact3: 「べと付かない」物はある fact4: 「このパケットは焼き付ける」ということは確かである fact5: 危なっかしい物は風紀だ fact6: 「何らかのものは履行期でない」ということは本当だ fact7: ある物は売り掛け金債権でない fact8: このパケットは売り掛け金債権だ fact9: もし仮に危なっかしくない物が風紀であるとするとあの全成績はむさくるしい fact10: 「売り掛け金債権だということはなくて焼き付ける」物はある fact11: このパケットはきつい fact12: 「何らかの物は売り掛け金債権だし更に焼き付ける」ということは偽でない fact13: あの全成績はむさくるしい fact14: あの奥行きは危なっかしい fact15: 「焼き付ける」物はある fact16: 何かは危なっかしいならむさくるしい fact17: もし仮に「売り掛け金債権でないがしかし焼き付ける」ものがあるとすればこのパケットはむさくるしい fact18: 仮にあの大経が焼き付けないならばあのパケットは風紀でそれに売り掛け金債権である
fact10 & fact17 -> int1: このパケットはむさくるしい; int1 & fact1 -> int2: 「あの全成績は危なっかしい」ということは正しい; fact5 -> int3: あの全成績が危なっかしいならそれは風紀だ; int2 & int3 -> hypothesis;
fact10 & fact17 -> int1: {C}{a}; int1 & fact1 -> int2: {D}{b}; fact5 -> int3: {D}{b} -> {E}{b}; int2 & int3 -> hypothesis;
あの全成績は風紀でない
$facts$ = fact1: このパケットがむさくるしいとしたらあの全成績は危なっかしい fact2: もしこのパケットは風紀であるとすると「あの全成績は風紀でない」ということは成り立つ fact3: 「べと付かない」物はある fact4: 「このパケットは焼き付ける」ということは確かである fact5: 危なっかしい物は風紀だ fact6: 「何らかのものは履行期でない」ということは本当だ fact7: ある物は売り掛け金債権でない fact8: このパケットは売り掛け金債権だ fact9: もし仮に危なっかしくない物が風紀であるとするとあの全成績はむさくるしい fact10: 「売り掛け金債権だということはなくて焼き付ける」物はある fact11: このパケットはきつい fact12: 「何らかの物は売り掛け金債権だし更に焼き付ける」ということは偽でない fact13: あの全成績はむさくるしい fact14: あの奥行きは危なっかしい fact15: 「焼き付ける」物はある fact16: 何かは危なっかしいならむさくるしい fact17: もし仮に「売り掛け金債権でないがしかし焼き付ける」ものがあるとすればこのパケットはむさくるしい fact18: 仮にあの大経が焼き付けないならばあのパケットは風紀でそれに売り掛け金債権である ; $hypothesis$ = あの全成績は風紀だ ; $proof$ = 
fact10 & fact17 -> int1: このパケットはむさくるしい; int1 & fact1 -> int2: 「あの全成績は危なっかしい」ということは正しい; fact5 -> int3: あの全成績が危なっかしいならそれは風紀だ; int2 & int3 -> hypothesis; __PROVED__
事実1: このパケットがむさくるしいとしたらあの全成績は危なっかしい
事実2: もしこのパケットは風紀であるとすると「あの全成績は風紀でない」ということは成り立つ
事実3: 「べと付かない」物はある
事実4: 「このパケットは焼き付ける」ということは確かである
事実5: 危なっかしい物は風紀だ
事実6: 「何らかのものは履行期でない」ということは本当だ
事実7: ある物は売り掛け金債権でない
事実8: このパケットは売り掛け金債権だ
事実9: もし仮に危なっかしくない物が風紀であるとするとあの全成績はむさくるしい
事実10: 「売り掛け金債権だということはなくて焼き付ける」物はある
事実11: このパケットはきつい
事実12: 「何らかの物は売り掛け金債権だし更に焼き付ける」ということは偽でない
事実13: あの全成績はむさくるしい
事実14: あの奥行きは危なっかしい
事実15: 「焼き付ける」物はある
事実16: 何かは危なっかしいならむさくるしい
事実17: もし仮に「売り掛け金債権でないがしかし焼き付ける」ものがあるとすればこのパケットはむさくるしい
事実18: 仮にあの大経が焼き付けないならばあのパケットは風紀でそれに売り掛け金債権である

仮説: あの全成績は風紀だ
1. 事実10と事実17から、推論1: "このパケットはむさくるしい"が導かれる
2. 推論1と事実1から、推論2: "「あの全成績は危なっかしい」ということは正しい"が導かれる
3. 事実5から、推論3: "あの全成績が危なっかしいならそれは風紀だ"が導かれる
4. 推論2と推論3から、仮説が導かれる

よって、仮説が証明されました。