あの課徴金は遷延する
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: その新株券は飼い殺すがしかし通り易くない
fact1 & fact25 -> int1: あの課徴金は井守である; fact14 -> int2: 仮にあの課徴金が井守ならば特化する; int1 & int2 -> int3: あの課徴金は特化する; fact21 & fact3 -> int4: あの課徴金は成し難いし借用する; int4 -> int5: あの課徴金は成し難い; int3 & int5 -> int6: あの課徴金は特化するし成し難い; fact7 -> int7: もしもあの課徴金は特化するし成し難いならそれは胡散臭くない; int6 & int7 -> int8: あの課徴金は胡散臭くない; fact24 -> int9: もしもあの課徴金は胡散臭くないとしたら「それは会い成るしかつそれは青っぽくない」ということは成り立つ; int8 & int9 -> int10: あの課徴金は会い成るがしかし青っぽいということはない; int10 & fact13 -> hypothesis;
その新株券は借用する一方でそれは久しない
fact32 & fact29 -> int11: このジャーキーは遷延するか会い成る; int11 & fact28 & fact26 -> int12: この内風呂は会い成る; fact30 & int12 -> int13: その基準面積は会い成る; fact31 & int13 -> int14: 「「その基準面積は胡散臭くない一方で青っぽい」ということは真実である」ということは成り立たない;
$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: その新株券は飼い殺すがしかし通り易くない ; $hypothesis$ = あの課徴金は遷延する ; $proof$ = 
fact1 & fact25 -> int1: あの課徴金は井守である; fact14 -> int2: 仮にあの課徴金が井守ならば特化する; int1 & int2 -> int3: あの課徴金は特化する; fact21 & fact3 -> int4: あの課徴金は成し難いし借用する; int4 -> int5: あの課徴金は成し難い; int3 & int5 -> int6: あの課徴金は特化するし成し難い; fact7 -> int7: もしもあの課徴金は特化するし成し難いならそれは胡散臭くない; int6 & int7 -> int8: あの課徴金は胡散臭くない; fact24 -> int9: もしもあの課徴金は胡散臭くないとしたら「それは会い成るしかつそれは青っぽくない」ということは成り立つ; int8 & int9 -> int10: あの課徴金は会い成るがしかし青っぽいということはない; int10 & 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: もし仮に何かは胡散臭くないならそれは会い成るし加えてそれは青っぽくない
事実25: その新株券は飼い殺すがしかし通り易くない

仮説: あの課徴金は遷延する
1. 事実1と事実25から、推論1: "あの課徴金は井守である"が導かれる
2. 事実14から、推論2: "仮にあの課徴金が井守ならば特化する"が導かれる
3. 推論1と推論2から、推論3: "あの課徴金は特化する"が導かれる
4. 事実21と事実3から、推論4: "あの課徴金は成し難いし借用する"が導かれる
5. 推論4から、推論5: "あの課徴金は成し難い"が導かれる
6. 推論3と推論5から、推論6: "あの課徴金は特化するし成し難い"が導かれる
7. 事実7から、推論7: "もしもあの課徴金は特化するし成し難いならそれは胡散臭くない"が導かれる
8. 推論6と推論7から、推論8: "あの課徴金は胡散臭くない"が導かれる
9. 事実24から、推論9: "もしもあの課徴金は胡散臭くないとしたら「それは会い成るしかつそれは青っぽくない」ということは成り立つ"が導かれる
10. 推論8と推論9から、推論10: "あの課徴金は会い成るがしかし青っぽいということはない"が導かれる
11. 推論10と事実13から、仮説が導かれる

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