「もし「取り除き過ぎる一方で零れ出さない」ということは成り立たないならば鬼籍な」物はある
fact1: もし恭しいものは液体でないならば火炎術である fact2: もし仮に「とある物は広がり易いがしかしそれは吠え始めない」ということは間違っていれば「春らしい」ということは成り立つ fact3: 「もし零れ出すなら「鬼籍である」ということは真実である」物はある fact4: もしも「そのトイレは鬼籍であるがしかしグラフ化しない」ということは間違いであるならばそれは追加徴求する fact5: もし仮に「なんらかのものは慎み深いけどそれはＮＡＮＯでない」ということは偽だとしたらそれは暑い fact6: 「何らかの物は取り除き過ぎる一方で零れ出さない」ということは事実と異なるとしたら鬼籍である fact7: もし仮に「何かは集中するけど取り除き過ぎない」ということは本当でないとしたら「それは対策する」ということは確かである fact8: もし仮にあの当該計画は取り除き過ぎるけれど零れ出さないなら鬼籍だ fact9: 仮に「とある物は集中するがしかし攻め掛からない」ということは成り立たないならそれは涙ぐましい fact10: 「「その百舌は恭しいが配置しない」ということは誤りならその百舌は取り除き過ぎる」ということは成り立つ fact11: もし仮にこの故意犯は零れ出せば「それは嫌味ったらしい」ということは事実である fact12: もし仮になにかは零れ出すとすれば鬼籍だ fact13: 「もし「取り除き過ぎるしそれに零れ出すということはない」ということは真実であるとすると鬼籍である」物はある fact14: 仮にあの当該計画は底無し沼だとすると「築城本部でない」ということは成り立たない
fact6 -> int1: もし「あの当該計画は取り除き過ぎる一方で零れ出さない」ということは偽であるとするとそれは鬼籍である; int1 -> hypothesis;
もし仮に「このハンチ等は集中する一方で取り除き過ぎない」ということは間違いであるならばそれは対策する
fact15 -> hypothesis;
$facts$ = fact1: もし恭しいものは液体でないならば火炎術である fact2: もし仮に「とある物は広がり易いがしかしそれは吠え始めない」ということは間違っていれば「春らしい」ということは成り立つ fact3: 「もし零れ出すなら「鬼籍である」ということは真実である」物はある fact4: もしも「そのトイレは鬼籍であるがしかしグラフ化しない」ということは間違いであるならばそれは追加徴求する fact5: もし仮に「なんらかのものは慎み深いけどそれはＮＡＮＯでない」ということは偽だとしたらそれは暑い fact6: 「何らかの物は取り除き過ぎる一方で零れ出さない」ということは事実と異なるとしたら鬼籍である fact7: もし仮に「何かは集中するけど取り除き過ぎない」ということは本当でないとしたら「それは対策する」ということは確かである fact8: もし仮にあの当該計画は取り除き過ぎるけれど零れ出さないなら鬼籍だ fact9: 仮に「とある物は集中するがしかし攻め掛からない」ということは成り立たないならそれは涙ぐましい fact10: 「「その百舌は恭しいが配置しない」ということは誤りならその百舌は取り除き過ぎる」ということは成り立つ fact11: もし仮にこの故意犯は零れ出せば「それは嫌味ったらしい」ということは事実である fact12: もし仮になにかは零れ出すとすれば鬼籍だ fact13: 「もし「取り除き過ぎるしそれに零れ出すということはない」ということは真実であるとすると鬼籍である」物はある fact14: 仮にあの当該計画は底無し沼だとすると「築城本部でない」ということは成り立たない ; $hypothesis$ = 「もし「取り除き過ぎる一方で零れ出さない」ということは成り立たないならば鬼籍な」物はある ; $proof$ = 
fact6 -> int1: もし「あの当該計画は取り除き過ぎる一方で零れ出さない」ということは偽であるとするとそれは鬼籍である; int1 -> hypothesis; __PROVED__
事実1: もし恭しいものは液体でないならば火炎術である
事実2: もし仮に「とある物は広がり易いがしかしそれは吠え始めない」ということは間違っていれば「春らしい」ということは成り立つ
事実3: 「もし零れ出すなら「鬼籍である」ということは真実である」物はある
事実4: もしも「そのトイレは鬼籍であるがしかしグラフ化しない」ということは間違いであるならばそれは追加徴求する
事実5: もし仮に「なんらかのものは慎み深いけどそれはＮＡＮＯでない」ということは偽だとしたらそれは暑い
事実6: 「何らかの物は取り除き過ぎる一方で零れ出さない」ということは事実と異なるとしたら鬼籍である
事実7: もし仮に「何かは集中するけど取り除き過ぎない」ということは本当でないとしたら「それは対策する」ということは確かである
事実8: もし仮にあの当該計画は取り除き過ぎるけれど零れ出さないなら鬼籍だ
事実9: 仮に「とある物は集中するがしかし攻め掛からない」ということは成り立たないならそれは涙ぐましい
事実10: 「「その百舌は恭しいが配置しない」ということは誤りならその百舌は取り除き過ぎる」ということは成り立つ
事実11: もし仮にこの故意犯は零れ出せば「それは嫌味ったらしい」ということは事実である
事実12: もし仮になにかは零れ出すとすれば鬼籍だ
事実13: 「もし「取り除き過ぎるしそれに零れ出すということはない」ということは真実であるとすると鬼籍である」物はある
事実14: 仮にあの当該計画は底無し沼だとすると「築城本部でない」ということは成り立たない

仮説: 「もし「取り除き過ぎる一方で零れ出さない」ということは成り立たないならば鬼籍な」物はある
1. 事実6から、推論1: "もし「あの当該計画は取り除き過ぎる一方で零れ出さない」ということは偽であるとするとそれは鬼籍である"が導かれる
2. 推論1から、仮説が導かれる

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