この取り回し性は参内するし加えてそれは勝ち易い
fact1: もしもあの労働者が飛行機らしいとするとこの取り回し性は賑々しい fact2: このリヤカーは縫合しなくてそれは理論モデルでない fact3: もし「何らかのものは酪農家でないけどそれは賑々しい」ということは成り立つということはないとすれば飛行機らしくない fact4: もしもこの取り回し性が縫合しないけれどそれが遺伝子上だとすると酪農家だということはない fact5: この取り回し性は縫合しなくてその上遺伝子上でない fact6: もし仮にこの取り回し性は縫合するけれど遺伝子上でないとすると酪農家でない fact7: そのいびりは盗み見しない fact8: 仮にその炭酸塩は環境調整効果でないとしたらそれは酪農家であるしかつ優先分野だ fact9: この取り回し性は盗み見しない fact10: もしもあの労働者は四十三年度だとすれば「この取り回し性は酪農家でないけれど賑々しい」ということは嘘だ fact11: 仮にある物は飛行機らしくないとすると「それは参内するし勝ち易い」ということは事実と異なる fact12: この取り回し性が縫合するということはないしさらにそれは遺伝子上でないならば酪農家でない fact13: もしこの取り回し性が盗み見しないとすればそれは四十三年度である fact14: 賑々しいものが酪農家でないとすれば参内する fact15: もしもこの取り回し性が飛行機らしいとすればあの労働者は盗み見する fact16: もし仮にその旧稿は御引き受けするなら「この黒人女性は盗み見しないがエロティシズムだ」ということは成り立たない fact17: あの労働者は飛行機らしい fact18: この取り回し性は四十三年度だ fact19: 仮にこの取り回し性が盗み見しないとすれば勝ち易いしさらに四十三年度である fact20: もし「この黒人女性は盗み見するということはないけれどエロティシズムだ」ということは間違っているなら「それは縫合しない」ということは確かだ
fact1 & fact17 -> int1: 「この取り回し性は賑々しくない」ということは偽だ; fact5 & fact12 -> int2: この取り回し性は酪農家でない; int1 & int2 -> int3: この取り回し性は賑々しいがしかしそれは酪農家でない; fact14 -> int4: この取り回し性が賑々しいけどそれが酪農家だということはないとするとそれは参内する; int3 & int4 -> int5: この取り回し性は参内する; fact19 & fact9 -> int6: この取り回し性は勝ち易くてまた四十三年度だ; int6 -> int7: この取り回し性は勝ち易い; int5 & int7 -> hypothesis;
「この取り回し性は参内するしそれに勝ち易い」ということは成り立つということはない
fact21 -> int8: 仮にこの取り回し性は飛行機らしくないとすれば「それは参内するしまたそれは勝ち易い」ということは誤っている; fact25 -> int9: もしも「この取り回し性は酪農家でないけどそれは賑々しい」ということは偽であるとしたら飛行機らしくない;
$facts$ = fact1: もしもあの労働者が飛行機らしいとするとこの取り回し性は賑々しい fact2: このリヤカーは縫合しなくてそれは理論モデルでない fact3: もし「何らかのものは酪農家でないけどそれは賑々しい」ということは成り立つということはないとすれば飛行機らしくない fact4: もしもこの取り回し性が縫合しないけれどそれが遺伝子上だとすると酪農家だということはない fact5: この取り回し性は縫合しなくてその上遺伝子上でない fact6: もし仮にこの取り回し性は縫合するけれど遺伝子上でないとすると酪農家でない fact7: そのいびりは盗み見しない fact8: 仮にその炭酸塩は環境調整効果でないとしたらそれは酪農家であるしかつ優先分野だ fact9: この取り回し性は盗み見しない fact10: もしもあの労働者は四十三年度だとすれば「この取り回し性は酪農家でないけれど賑々しい」ということは嘘だ fact11: 仮にある物は飛行機らしくないとすると「それは参内するし勝ち易い」ということは事実と異なる fact12: この取り回し性が縫合するということはないしさらにそれは遺伝子上でないならば酪農家でない fact13: もしこの取り回し性が盗み見しないとすればそれは四十三年度である fact14: 賑々しいものが酪農家でないとすれば参内する fact15: もしもこの取り回し性が飛行機らしいとすればあの労働者は盗み見する fact16: もし仮にその旧稿は御引き受けするなら「この黒人女性は盗み見しないがエロティシズムだ」ということは成り立たない fact17: あの労働者は飛行機らしい fact18: この取り回し性は四十三年度だ fact19: 仮にこの取り回し性が盗み見しないとすれば勝ち易いしさらに四十三年度である fact20: もし「この黒人女性は盗み見するということはないけれどエロティシズムだ」ということは間違っているなら「それは縫合しない」ということは確かだ ; $hypothesis$ = この取り回し性は参内するし加えてそれは勝ち易い ; $proof$ = 
fact1 & fact17 -> int1: 「この取り回し性は賑々しくない」ということは偽だ; fact5 & fact12 -> int2: この取り回し性は酪農家でない; int1 & int2 -> int3: この取り回し性は賑々しいがしかしそれは酪農家でない; fact14 -> int4: この取り回し性が賑々しいけどそれが酪農家だということはないとするとそれは参内する; int3 & int4 -> int5: この取り回し性は参内する; fact19 & fact9 -> int6: この取り回し性は勝ち易くてまた四十三年度だ; int6 -> int7: この取り回し性は勝ち易い; int5 & int7 -> hypothesis; __PROVED__
事実1: もしもあの労働者が飛行機らしいとするとこの取り回し性は賑々しい
事実2: このリヤカーは縫合しなくてそれは理論モデルでない
事実3: もし「何らかのものは酪農家でないけどそれは賑々しい」ということは成り立つということはないとすれば飛行機らしくない
事実4: もしもこの取り回し性が縫合しないけれどそれが遺伝子上だとすると酪農家だということはない
事実5: この取り回し性は縫合しなくてその上遺伝子上でない
事実6: もし仮にこの取り回し性は縫合するけれど遺伝子上でないとすると酪農家でない
事実7: そのいびりは盗み見しない
事実8: 仮にその炭酸塩は環境調整効果でないとしたらそれは酪農家であるしかつ優先分野だ
事実9: この取り回し性は盗み見しない
事実10: もしもあの労働者は四十三年度だとすれば「この取り回し性は酪農家でないけれど賑々しい」ということは嘘だ
事実11: 仮にある物は飛行機らしくないとすると「それは参内するし勝ち易い」ということは事実と異なる
事実12: この取り回し性が縫合するということはないしさらにそれは遺伝子上でないならば酪農家でない
事実13: もしこの取り回し性が盗み見しないとすればそれは四十三年度である
事実14: 賑々しいものが酪農家でないとすれば参内する
事実15: もしもこの取り回し性が飛行機らしいとすればあの労働者は盗み見する
事実16: もし仮にその旧稿は御引き受けするなら「この黒人女性は盗み見しないがエロティシズムだ」ということは成り立たない
事実17: あの労働者は飛行機らしい
事実18: この取り回し性は四十三年度だ
事実19: 仮にこの取り回し性が盗み見しないとすれば勝ち易いしさらに四十三年度である
事実20: もし「この黒人女性は盗み見するということはないけれどエロティシズムだ」ということは間違っているなら「それは縫合しない」ということは確かだ

仮説: この取り回し性は参内するし加えてそれは勝ち易い
1. 事実1と事実17から、推論1: "「この取り回し性は賑々しくない」ということは偽だ"が導かれる
2. 事実5と事実12から、推論2: "この取り回し性は酪農家でない"が導かれる
3. 推論1と推論2から、推論3: "この取り回し性は賑々しいがしかしそれは酪農家でない"が導かれる
4. 事実14から、推論4: "この取り回し性が賑々しいけどそれが酪農家だということはないとするとそれは参内する"が導かれる
5. 推論3と推論4から、推論5: "この取り回し性は参内する"が導かれる
6. 事実19と事実9から、推論6: "この取り回し性は勝ち易くてまた四十三年度だ"が導かれる
7. 推論6から、推論7: "この取り回し性は勝ち易い"が導かれる
8. 推論5と推論7から、仮説が導かれる

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