「あの兵法家は給う」ということは真実である
fact1: あの実験・実習が太り易いとするとあの兵法家は給う fact2: あの兵法家は掃除し易い fact3: もし仮になんらかのものが掃除し易いならばそれは太り易い fact4: 「あのコンフィチュール・ブランドは紛れない」ということは本当だ fact5: あの兵法家は太り易くないとすると「あの実験・実習は抜去しない一方で心許ない」ということは成り立たない fact6: もし仮に何らかのものが撒水するとすればそれは詰まり易い fact7: 「もしもあの実験・実習が給うならあの兵法家は心許ない」ということは真実である fact8: あの不在証明が対象化すればあのコンフィチュール・ブランドは発症し易くない fact9: もし何らかのものが職能給だとすると精神変容効果だ fact10: あるものが紛れるが手堅くないとすると「対象化する」ということは事実だ fact11: もし仮にあのコンフィチュール・ブランドは紛れるということはないなら「それは対象化しなくて加えて手堅くない」ということは事実と異なる fact12: もしなにかは心許ないとすると「それは太り易い」ということは真実だ fact13: あの実験・実習は掃除し易くない一方で抜去する fact14: あの実験・実習は掃除し易くない fact15: 仮にとある物が抜去するならそれは心許ない fact16: もし仮にあの不在証明が卑しとすると紛れるけれど手堅くない fact17: もし「とあるものは給う」ということは本当ならば「掃除し易い」ということは成り立つ fact18: 「「対象化しなくてしかも手堅くない」ということは成り立つということはない」物があればあの兵法家は発症し易いということはない fact19: 発症し易くないものは立ち去るしさらに太り易い fact20: 仮になにがしかのものが抜去するがしかし掃除し易くないとすると「それは給わない」ということは成り立つ fact21: なにがしかのものは掃除し易いならば「抜去する」ということは本当である fact22: もし仮になんらかの物が給うとすればそれは心許ない fact23: もし仮にあのコンフィチュール・ブランドが太り易いならばあの実験・実習は心許なくない fact24: もしなにがしかのものは発症し易いということはないなら「立ち去らない一方で給う」ということは間違いだ
fact13 -> int1: あの実験・実習は抜去する; fact15 -> int2: もしもあの実験・実習が抜去するとしたら心許ない; int1 & int2 -> int3: 「あの実験・実習は心許ない」ということは嘘だということはない; fact12 -> int4: 仮にあの実験・実習は心許ないとすれば「それは太り易い」ということは成り立つ; int3 & int4 -> int5: あの実験・実習は太り易い; int5 & fact1 -> hypothesis;
あの兵法家は給わない
fact28 -> int6: もし仮にあの兵法家は抜去するけど掃除し易いということはないなら給わない; fact27 -> int7: あのコンフィチュール・ブランドは発症し易くないならば立ち去るし太り易い; fact26 -> int8: あの不在証明が紛れるがそれが手堅くないとすれば対象化する;
$facts$ = fact1: あの実験・実習が太り易いとするとあの兵法家は給う fact2: あの兵法家は掃除し易い fact3: もし仮になんらかのものが掃除し易いならばそれは太り易い fact4: 「あのコンフィチュール・ブランドは紛れない」ということは本当だ fact5: あの兵法家は太り易くないとすると「あの実験・実習は抜去しない一方で心許ない」ということは成り立たない fact6: もし仮に何らかのものが撒水するとすればそれは詰まり易い fact7: 「もしもあの実験・実習が給うならあの兵法家は心許ない」ということは真実である fact8: あの不在証明が対象化すればあのコンフィチュール・ブランドは発症し易くない fact9: もし何らかのものが職能給だとすると精神変容効果だ fact10: あるものが紛れるが手堅くないとすると「対象化する」ということは事実だ fact11: もし仮にあのコンフィチュール・ブランドは紛れるということはないなら「それは対象化しなくて加えて手堅くない」ということは事実と異なる fact12: もしなにかは心許ないとすると「それは太り易い」ということは真実だ fact13: あの実験・実習は掃除し易くない一方で抜去する fact14: あの実験・実習は掃除し易くない fact15: 仮にとある物が抜去するならそれは心許ない fact16: もし仮にあの不在証明が卑しとすると紛れるけれど手堅くない fact17: もし「とあるものは給う」ということは本当ならば「掃除し易い」ということは成り立つ fact18: 「「対象化しなくてしかも手堅くない」ということは成り立つということはない」物があればあの兵法家は発症し易いということはない fact19: 発症し易くないものは立ち去るしさらに太り易い fact20: 仮になにがしかのものが抜去するがしかし掃除し易くないとすると「それは給わない」ということは成り立つ fact21: なにがしかのものは掃除し易いならば「抜去する」ということは本当である fact22: もし仮になんらかの物が給うとすればそれは心許ない fact23: もし仮にあのコンフィチュール・ブランドが太り易いならばあの実験・実習は心許なくない fact24: もしなにがしかのものは発症し易いということはないなら「立ち去らない一方で給う」ということは間違いだ ; $hypothesis$ = 「あの兵法家は給う」ということは真実である ; $proof$ = 
fact13 -> int1: あの実験・実習は抜去する; fact15 -> int2: もしもあの実験・実習が抜去するとしたら心許ない; int1 & int2 -> int3: 「あの実験・実習は心許ない」ということは嘘だということはない; fact12 -> int4: 仮にあの実験・実習は心許ないとすれば「それは太り易い」ということは成り立つ; int3 & int4 -> int5: あの実験・実習は太り易い; int5 & fact1 -> hypothesis; __PROVED__
事実1: あの実験・実習が太り易いとするとあの兵法家は給う
事実2: あの兵法家は掃除し易い
事実3: もし仮になんらかのものが掃除し易いならばそれは太り易い
事実4: 「あのコンフィチュール・ブランドは紛れない」ということは本当だ
事実5: あの兵法家は太り易くないとすると「あの実験・実習は抜去しない一方で心許ない」ということは成り立たない
事実6: もし仮に何らかのものが撒水するとすればそれは詰まり易い
事実7: 「もしもあの実験・実習が給うならあの兵法家は心許ない」ということは真実である
事実8: あの不在証明が対象化すればあのコンフィチュール・ブランドは発症し易くない
事実9: もし何らかのものが職能給だとすると精神変容効果だ
事実10: あるものが紛れるが手堅くないとすると「対象化する」ということは事実だ
事実11: もし仮にあのコンフィチュール・ブランドは紛れるということはないなら「それは対象化しなくて加えて手堅くない」ということは事実と異なる
事実12: もしなにかは心許ないとすると「それは太り易い」ということは真実だ
事実13: あの実験・実習は掃除し易くない一方で抜去する
事実14: あの実験・実習は掃除し易くない
事実15: 仮にとある物が抜去するならそれは心許ない
事実16: もし仮にあの不在証明が卑しとすると紛れるけれど手堅くない
事実17: もし「とあるものは給う」ということは本当ならば「掃除し易い」ということは成り立つ
事実18: 「「対象化しなくてしかも手堅くない」ということは成り立つということはない」物があればあの兵法家は発症し易いということはない
事実19: 発症し易くないものは立ち去るしさらに太り易い
事実20: 仮になにがしかのものが抜去するがしかし掃除し易くないとすると「それは給わない」ということは成り立つ
事実21: なにがしかのものは掃除し易いならば「抜去する」ということは本当である
事実22: もし仮になんらかの物が給うとすればそれは心許ない
事実23: もし仮にあのコンフィチュール・ブランドが太り易いならばあの実験・実習は心許なくない
事実24: もしなにがしかのものは発症し易いということはないなら「立ち去らない一方で給う」ということは間違いだ

仮説: 「あの兵法家は給う」ということは真実である
1. 事実13から、推論1: "あの実験・実習は抜去する"が導かれる
2. 事実15から、推論2: "もしもあの実験・実習が抜去するとしたら心許ない"が導かれる
3. 推論1と推論2から、推論3: "「あの実験・実習は心許ない」ということは嘘だということはない"が導かれる
4. 事実12から、推論4: "仮にあの実験・実習は心許ないとすれば「それは太り易い」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "あの実験・実習は太り易い"が導かれる
6. 推論5と事実1から、仮説が導かれる

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