あの春蒔き栽培は借りれない
fact1: もしこの色調変化が大人っぽいとするとあの春蒔き栽培は物凄ーいということはなくて大人っぽくない fact2: もし仮にこの財産法は熟読するが大人っぽくないとすると物々しい fact3: この財産法が大人っぽいならばあの春蒔き栽培は熟読しない fact4: この色調変化は言い合うけれど物々しかない fact5: もしも「この色調変化は大人っぽい」ということは成り立つとすると「あの春蒔き栽培は借りれる」ということは成り立つ fact6: あの春蒔き栽培は熟読するけど大人っぽくないならば借りれない fact7: もしもあの春蒔き栽培が言い合うとすればこの色調変化は熟読する fact8: 物凄ーい物は把握し易い fact9: あの春蒔き栽培は物々しいということはなくて熟読しない fact10: もし仮に「あるものは把握し易いが物凄ーくない」ということは誤りであるとすればそれは借りれる fact11: この色調変化は南下する fact12: 「あの内部事情は言い合う」ということは成り立つ fact13: もしあの春蒔き栽培は熟読しないしかつ大人っぽくないとしたら借りれない fact14: この色調変化は物々しかない fact15: この色調変化は言い合うし更に物々しいとするとそれは物凄ーい fact16: あの春蒔き栽培は狭いがしかし悪くない fact17: もし「ある物は借りれるし言い終わる」ということは誤りならば「借りれない」ということは偽でない fact18: もし仮に「この財産法は大人っぽくない」ということは事実でないとしたらあの春蒔き栽培は熟読しなくて加えて大人っぽくない fact19: この色調変化は言い合うが物々しかないならば物凄ーい fact20: もし「あの春蒔き栽培は借りれないし加えてそれは熟読しない」ということは間違いでないとしたらそれは物々しかない fact21: もし仮に「この色調変化は大人っぽくないかそれは把握し易くない」ということは嘘であるとすればあの浅見刑事局長は把握し易い fact22: あの春蒔き栽培は熟読しない fact23: この色調変化が借りれるとしたらあの春蒔き栽培は言い合う fact24: もしもこの色調変化が把握し易いとすればこの財産法は大人っぽい
fact19 & fact4 -> int1: この色調変化は物凄ーい; fact8 -> int2: もし仮にこの色調変化は物凄ーいとすれば「それは把握し易い」ということは正しい; int1 & int2 -> int3: この色調変化は把握し易い; int3 & fact24 -> int4: この財産法は大人っぽい; int4 & fact18 -> int5: あの春蒔き栽培は熟読しないしまた大人っぽくない; int5 & fact13 -> hypothesis;
この浅見刑事局長は快勝するが物凄ーくない
fact25 -> int6: 仮に「この色調変化は借りれるしかつそれは言い終わる」ということは誤っているとすれば借りれない;
$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$ = 
fact19 & fact4 -> int1: この色調変化は物凄ーい; fact8 -> int2: もし仮にこの色調変化は物凄ーいとすれば「それは把握し易い」ということは正しい; int1 & int2 -> int3: この色調変化は把握し易い; int3 & fact24 -> int4: この財産法は大人っぽい; int4 & fact18 -> int5: あの春蒔き栽培は熟読しないしまた大人っぽくない; int5 & fact13 -> 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. 事実19と事実4から、推論1: "この色調変化は物凄ーい"が導かれる
2. 事実8から、推論2: "もし仮にこの色調変化は物凄ーいとすれば「それは把握し易い」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "この色調変化は把握し易い"が導かれる
4. 推論3と事実24から、推論4: "この財産法は大人っぽい"が導かれる
5. 推論4と事実18から、推論5: "あの春蒔き栽培は熟読しないしまた大人っぽくない"が導かれる
6. 推論5と事実13から、仮説が導かれる

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