このテスト期間は等しないし被覆するということはない
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: 「このテスト期間は被覆しないが幼い」ということは成り立たない
void -> assump1: 以下のように仮定する。「この投信委託会社は連帯保証する」ということは成り立つ; fact12 & assump1 -> int1: この投信委託会社は加重するしかつそれは連帯保証する; int1 & fact9 -> int2: その比高は詮無くない; fact17 & fact5 -> int3: 「「その比高は加増しないし名残りでない」ということは成り立たない」ということは成り立つ; fact19 -> int4: 仮に「その比高は加増しないししかも名残りだということはない」ということは偽だとすれば「それは詮無い」ということは正しい; int3 & int4 -> int5: その比高は詮無い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この投信委託会社は連帯保証しない」ということは確かである; int7 & fact3 -> int8: その麻幹は連帯保証しないしまた幼いということはない; fact21 -> int9: 仮にその麻幹が連帯保証しないしさらに幼くないとしたらそれは弄ばない; int8 & int9 -> int10: その麻幹は弄ばない; int10 & fact6 -> hypothesis;
「このテスト期間は等しないしおまけに被覆しない」ということは間違いだ
fact27 -> int11: 仮にこのテスト期間は加重するとすれば「等しないしおまけに被覆するということはない」ということは成り立つということはない; fact31 -> int12: もし仮に「この投信委託会社は幼いが弄ぶということはない」ということは嘘ならばそれは幼くない; fact32 -> int13: その比高は参加し易くないならばそれは加増しないけれど名残りだ; fact28 -> 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$ = 
void -> assump1: 以下のように仮定する。「この投信委託会社は連帯保証する」ということは成り立つ; fact12 & assump1 -> int1: この投信委託会社は加重するしかつそれは連帯保証する; int1 & fact9 -> int2: その比高は詮無くない; fact17 & fact5 -> int3: 「「その比高は加増しないし名残りでない」ということは成り立たない」ということは成り立つ; fact19 -> int4: 仮に「その比高は加増しないししかも名残りだということはない」ということは偽だとすれば「それは詮無い」ということは正しい; int3 & int4 -> int5: その比高は詮無い; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「この投信委託会社は連帯保証しない」ということは確かである; int7 & fact3 -> int8: その麻幹は連帯保証しないしまた幼いということはない; fact21 -> int9: 仮にその麻幹が連帯保証しないしさらに幼くないとしたらそれは弄ばない; int8 & int9 -> int10: その麻幹は弄ばない; int10 & fact6 -> 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: 以下のように仮定する。「この投信委託会社は連帯保証する」ということは成り立つ
2. 事実12と仮定1から、推論1: "この投信委託会社は加重するしかつそれは連帯保証する"が導かれる
3. 推論1と事実9から、推論2: "その比高は詮無くない"が導かれる
4. 事実17と事実5から、推論3: "「「その比高は加増しないし名残りでない」ということは成り立たない」ということは成り立つ"が導かれる
5. 事実19から、推論4: "仮に「その比高は加増しないししかも名残りだということはない」ということは偽だとすれば「それは詮無い」ということは正しい"が導かれる
6. 推論3と推論4から、推論5: "その比高は詮無い"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「この投信委託会社は連帯保証しない」ということは確かである"が導かれる
9. 推論7と事実3から、推論8: "その麻幹は連帯保証しないしまた幼いということはない"が導かれる
10. 事実21から、推論9: "仮にその麻幹が連帯保証しないしさらに幼くないとしたらそれは弄ばない"が導かれる
11. 推論8と推論9から、推論10: "その麻幹は弄ばない"が導かれる
12. 推論10と事実6から、仮説が導かれる

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