あの我楽多捨て場は作り給う
fact1: もし仮に「大賛成する」物があるとしたらあの我楽多捨て場は天狗らしいしおまけに動き易い fact2: 「大賛成する」ものはある fact3: もし仮に「なにがしかの物は集団学習でない」ということは成り立つとすれば「それは章末でないがしかし割れる」ということは偽である fact4: この植物は植栽しない fact5: もし仮にとあるものは逃げ捲らないならば「この折り返し地点は練習風景でそれに集団学習だ」ということは成り立たない fact6: あの我楽多捨て場は動き易い fact7: 仮になんらかのものが出入りし易くてそれが物凄いとすればあの学校図書館は和人達であるということはない fact8: もし「何らかのものが練習風景だししかもそれは集団学習である」ということは偽ならばそれは集団学習でない fact9: 「もしもこの植物が植栽しないとすればこの植物は出入りし易いし物凄い」ということは成り立つ fact10: 「売り始める」物はある fact11: もしもあの学校図書館が和人達でないとするとあの日韓間は逃げ捲らない fact12: もしも「何らかのものは章末でない一方で割れる」ということは成り立つということはないとするとそれは動き易い fact13: もしも何らかのものは割れるとしたら「章末でない一方で動き易い」ということは誤りだ fact14: 「とあるものは章末であるということはないがしかし動き易い」ということは事実でないならそれは天狗らしくない fact15: 仮に何らかのものが天狗らしいとすると作り給う fact16: もし仮に「このプロゲステロンは大賛成するしおまけにそれは天狗らしい」ということは成り立たないとするとあの我楽多捨て場は作り給わない fact17: あの我楽多捨て場が逃げ捲らないし集団学習でないとするとその人的ネットワークは割れる fact18: 仮に何らかのものが大賛成するとすればあの我楽多捨て場は動き易い
fact2 & fact1 -> int1: あの我楽多捨て場は天狗らしいし動き易い; int1 -> int2: あの我楽多捨て場は天狗らしい; fact15 -> int3: 仮にあの我楽多捨て場が天狗らしいとすると作り給う; int2 & int3 -> hypothesis;
あの我楽多捨て場は作り給わない
fact20 -> int4: もし「この折り返し地点は章末でないがしかし割れる」ということは嘘であるとしたらそれは動き易い; fact24 -> int5: もしこの折り返し地点は集団学習でないとすると「章末だということはなくてまたそれは割れる」ということは間違っている; fact22 -> int6: 仮に「「この折り返し地点は練習風景だしまた集団学習だ」ということは成り立つ」ということは誤っているなら集団学習でない; fact26 & fact25 -> int7: この植物は出入りし易くておまけに物凄い; int7 -> int8: 「出入りし易くてそれに物凄い」物はある; int8 & fact19 -> int9: 「あの学校図書館は和人達でない」ということは真実である; fact21 & int9 -> int10: あの日韓間は逃げ捲らない; int10 -> int11: 「逃げ捲らない」ものはある; int11 & fact27 -> int12: 「この折り返し地点は練習風景で集団学習である」ということは間違いだ; int6 & int12 -> int13: この折り返し地点は集団学習でない; int5 & int13 -> int14: 「この折り返し地点は章末でないがしかし割れる」ということは成り立たない; int4 & int14 -> int15: この折り返し地点は動き易い; int15 -> int16: 「「動き易い」ということは事実である」物はある;
$facts$ = fact1: もし仮に「大賛成する」物があるとしたらあの我楽多捨て場は天狗らしいしおまけに動き易い fact2: 「大賛成する」ものはある fact3: もし仮に「なにがしかの物は集団学習でない」ということは成り立つとすれば「それは章末でないがしかし割れる」ということは偽である fact4: この植物は植栽しない fact5: もし仮にとあるものは逃げ捲らないならば「この折り返し地点は練習風景でそれに集団学習だ」ということは成り立たない fact6: あの我楽多捨て場は動き易い fact7: 仮になんらかのものが出入りし易くてそれが物凄いとすればあの学校図書館は和人達であるということはない fact8: もし「何らかのものが練習風景だししかもそれは集団学習である」ということは偽ならばそれは集団学習でない fact9: 「もしもこの植物が植栽しないとすればこの植物は出入りし易いし物凄い」ということは成り立つ fact10: 「売り始める」物はある fact11: もしもあの学校図書館が和人達でないとするとあの日韓間は逃げ捲らない fact12: もしも「何らかのものは章末でない一方で割れる」ということは成り立つということはないとするとそれは動き易い fact13: もしも何らかのものは割れるとしたら「章末でない一方で動き易い」ということは誤りだ fact14: 「とあるものは章末であるということはないがしかし動き易い」ということは事実でないならそれは天狗らしくない fact15: 仮に何らかのものが天狗らしいとすると作り給う fact16: もし仮に「このプロゲステロンは大賛成するしおまけにそれは天狗らしい」ということは成り立たないとするとあの我楽多捨て場は作り給わない fact17: あの我楽多捨て場が逃げ捲らないし集団学習でないとするとその人的ネットワークは割れる fact18: 仮に何らかのものが大賛成するとすればあの我楽多捨て場は動き易い ; $hypothesis$ = あの我楽多捨て場は作り給う ; $proof$ = 
fact2 & fact1 -> int1: あの我楽多捨て場は天狗らしいし動き易い; int1 -> int2: あの我楽多捨て場は天狗らしい; fact15 -> int3: 仮にあの我楽多捨て場が天狗らしいとすると作り給う; int2 & int3 -> hypothesis; __PROVED__
事実1: もし仮に「大賛成する」物があるとしたらあの我楽多捨て場は天狗らしいしおまけに動き易い
事実2: 「大賛成する」ものはある
事実3: もし仮に「なにがしかの物は集団学習でない」ということは成り立つとすれば「それは章末でないがしかし割れる」ということは偽である
事実4: この植物は植栽しない
事実5: もし仮にとあるものは逃げ捲らないならば「この折り返し地点は練習風景でそれに集団学習だ」ということは成り立たない
事実6: あの我楽多捨て場は動き易い
事実7: 仮になんらかのものが出入りし易くてそれが物凄いとすればあの学校図書館は和人達であるということはない
事実8: もし「何らかのものが練習風景だししかもそれは集団学習である」ということは偽ならばそれは集団学習でない
事実9: 「もしもこの植物が植栽しないとすればこの植物は出入りし易いし物凄い」ということは成り立つ
事実10: 「売り始める」物はある
事実11: もしもあの学校図書館が和人達でないとするとあの日韓間は逃げ捲らない
事実12: もしも「何らかのものは章末でない一方で割れる」ということは成り立つということはないとするとそれは動き易い
事実13: もしも何らかのものは割れるとしたら「章末でない一方で動き易い」ということは誤りだ
事実14: 「とあるものは章末であるということはないがしかし動き易い」ということは事実でないならそれは天狗らしくない
事実15: 仮に何らかのものが天狗らしいとすると作り給う
事実16: もし仮に「このプロゲステロンは大賛成するしおまけにそれは天狗らしい」ということは成り立たないとするとあの我楽多捨て場は作り給わない
事実17: あの我楽多捨て場が逃げ捲らないし集団学習でないとするとその人的ネットワークは割れる
事実18: 仮に何らかのものが大賛成するとすればあの我楽多捨て場は動き易い

仮説: あの我楽多捨て場は作り給う
1. 事実2と事実1から、推論1: "あの我楽多捨て場は天狗らしいし動き易い"が導かれる
2. 推論1から、推論2: "あの我楽多捨て場は天狗らしい"が導かれる
3. 事実15から、推論3: "仮にあの我楽多捨て場が天狗らしいとすると作り給う"が導かれる
4. 推論2と推論3から、仮説が導かれる

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