その書院番は助け出さないがしかし飛び交う
fact1: 何らかのものが鬱陶しいとしたらそれは吸収し易い fact2: そのサバトちゃんが操業しないならその書院番は素晴らしい fact3: もしこの一日平均は侵食しないならば「這い上るけれど関連規定でない」ということは偽だ fact4: もし「何かは狭いかもしくは唱え続けないかまたは両方である」ということは成り立たないとすると「それは出易くない」ということは本当だ fact5: もし仮になにかは心血管障害であるとすれば「この家格は鬱陶しい」ということは正しい fact6: もしこの一日平均が助け出すとしたらそれは関連規定だ fact7: 仮に「この一日平均は這い上る一方でそれは関連規定であるということはない」ということは事実と異なるとするとそのサバトちゃんは操業しない fact8: もしもあるものは侵食するということはないとすれば「それは助け出すということはないししかも飛び交う」ということは成り立たない fact9: もしもその書院番は悪しかあるいはむくつけしとすると助け出さない fact10: あるものは操業しないならば「侵食しない」ということは成り立つ fact11: 「とあるものは維持しないがそれは出易い」ということは嘘であるならばそれは維持する fact12: もし仮に出易くない物はあれば「そのサバトちゃんは維持しないがしかし出易い」ということは成り立たない fact13: 何らかの物は吸収し易いなら「狭いか唱え続けないかもしくは両方ともだ」ということは偽だ fact14: その書院番は飛び交う fact15: このスウィングは蓬莱でない fact16: その経済的困窮は関連規定だ fact17: もしもその書院番は素晴らしいとすると「悪し」ということは正しい fact18: もし仮に「そのサバトちゃんは維持する」ということは本当であるならばこの一日平均はむくつけしがしかし悪しない fact19: もしもこのスウィングが蓬莱でないとするとピペットだしさらにそれは心血管障害である fact20: そのＨＴＭＬソースは侵食しない fact21: 仮にこの一日平均が這い上らないとしたらそのサバトちゃんは操業するということはない fact22: そのＷＰＡは飛び交う fact23: その書院番はむくつけしなら「それは助け出すということはない」ということは成り立つ fact24: この一日平均は答え易いか素晴らしいかまたは両方ともである fact25: この一日平均は侵食しない fact26: そのサバトちゃんは侵食しない fact27: 悪しない物は素晴らしくないか操業しないかもしくは両方である
fact3 & fact25 -> int1: 「この一日平均は這い上るがしかしそれは関連規定でない」ということは間違いである; int1 & fact7 -> int2: そのサバトちゃんは操業しない; int2 & fact2 -> int3: その書院番は素晴らしい; int3 & fact17 -> int4: その書院番は悪し; int4 -> int5: その書院番は悪しかあるいはそれはむくつけし; int5 & fact9 -> int6: 「その書院番は助け出す」ということは誤っている; int6 & fact14 -> hypothesis;
「その書院番は助け出さないけれど飛び交う」ということは成り立たない
fact28 -> int7: もし仮にその書院番は操業しないとしたら「それは侵食するということはない」ということは成り立つ;
$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: この一日平均は答え易いか素晴らしいかまたは両方ともである fact25: この一日平均は侵食しない fact26: そのサバトちゃんは侵食しない fact27: 悪しない物は素晴らしくないか操業しないかもしくは両方である ; $hypothesis$ = その書院番は助け出さないがしかし飛び交う ; $proof$ = 
fact3 & fact25 -> int1: 「この一日平均は這い上るがしかしそれは関連規定でない」ということは間違いである; int1 & fact7 -> int2: そのサバトちゃんは操業しない; int2 & fact2 -> int3: その書院番は素晴らしい; int3 & fact17 -> int4: その書院番は悪し; int4 -> int5: その書院番は悪しかあるいはそれはむくつけし; int5 & fact9 -> int6: 「その書院番は助け出す」ということは誤っている; int6 & fact14 -> 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: この一日平均は答え易いか素晴らしいかまたは両方ともである
事実25: この一日平均は侵食しない
事実26: そのサバトちゃんは侵食しない
事実27: 悪しない物は素晴らしくないか操業しないかもしくは両方である

仮説: その書院番は助け出さないがしかし飛び交う
1. 事実3と事実25から、推論1: "「この一日平均は這い上るがしかしそれは関連規定でない」ということは間違いである"が導かれる
2. 推論1と事実7から、推論2: "そのサバトちゃんは操業しない"が導かれる
3. 推論2と事実2から、推論3: "その書院番は素晴らしい"が導かれる
4. 推論3と事実17から、推論4: "その書院番は悪し"が導かれる
5. 推論4から、推論5: "その書院番は悪しかあるいはそれはむくつけし"が導かれる
6. 推論5と事実9から、推論6: "「その書院番は助け出す」ということは誤っている"が導かれる
7. 推論6と事実14から、仮説が導かれる

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