あの過重労働は捕まえ易い
fact1: あの当該書類は積極的休息であるならば「それは全うする」ということは真実だ fact2: もし仮にあの当該書類は全うするとしたら「あの過重労働は捕まえ易い」ということは成り立つ fact3: めでたしないしかつ力強いということはないものはない fact4: この聴覚映像は全うするということはない fact5: 「「全うするしさらに育て易くない」ということは偽な」物はある fact6: もし「その所持金はめでたしないし力強くない」ということは事実と異なるとしたらそれは力強い fact7: その疑い深さは雪深いということはない fact8: もし仮に「雪深いけど目論まない」ものがあるとすればあの過重労働はマイクロ・ビーチであるということはない fact9: もし「あの当該書類は積極的休息でない」ということは真実であるならばその所持金は監視し易くないがしかし見辛い fact10: もしその疑い深さが雪深くないとすると目論むしマイクロ・ビーチである fact11: もしもその所持金が力強いならあの当該書類は雪深いがしかし目論まない fact12: 仮にあの当該書類が見辛いとすればそれは積極的休息である fact13: 「あの当該書類は監視し易い」ということは確かだ fact14: もしも積極的休息が全うするということはないとしたらそれは捕まえ易いということはない fact15: あの過重労働は積極的休息だ fact16: あの当該書類が積極的休息でないとしたらその所持金は見辛い fact17: もし仮にとあるものはマイクロ・ビーチでないならそれは積極的休息で加えてレディ・メイドだ fact18: その所持金は監視し易い fact19: もしその疑い深さがマイクロ・ビーチだとするとレディ・メイドでないしそれは捕まえ易い fact20: あの過重労働が捕まえ易いとしたらそれは積極的休息である fact21: その所持金は見辛い
void -> assump1: 以下のように仮定する。あの当該書類は積極的休息でない; fact9 & assump1 -> int1: その所持金は監視し易くないけど見辛い; int1 -> int2: その所持金は監視し易くない; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの当該書類は積極的休息である」ということは成り立つ; int4 & fact1 -> int5: あの当該書類は全うする; int5 & fact2 -> hypothesis;
あの過重労働は捕まえ易くない
fact27 -> int6: あの過重労働が積極的休息だがしかしそれが全うしないとしたら捕まえ易くない; fact26 -> int7: 仮にあの過重労働がマイクロ・ビーチでないならばそれが積極的休息だしそれにそれはレディ・メイドである; fact25 -> int8: 「その所持金はめでたしないし加えてそれは力強くない」ということは本当でない; fact28 & int8 -> int9: その所持金は力強い; fact24 & int9 -> int10: あの当該書類は雪深いが目論まない; int10 -> int11: なにがしかの物は雪深いが目論まない; int11 & fact23 -> int12: あの過重労働はマイクロ・ビーチでない; int7 & int12 -> int13: あの過重労働は積極的休息であるししかもレディ・メイドだ; int13 -> int14: あの過重労働は積極的休息である;
$facts$ = fact1: あの当該書類は積極的休息であるならば「それは全うする」ということは真実だ fact2: もし仮にあの当該書類は全うするとしたら「あの過重労働は捕まえ易い」ということは成り立つ fact3: めでたしないしかつ力強いということはないものはない fact4: この聴覚映像は全うするということはない fact5: 「「全うするしさらに育て易くない」ということは偽な」物はある fact6: もし「その所持金はめでたしないし力強くない」ということは事実と異なるとしたらそれは力強い fact7: その疑い深さは雪深いということはない fact8: もし仮に「雪深いけど目論まない」ものがあるとすればあの過重労働はマイクロ・ビーチであるということはない fact9: もし「あの当該書類は積極的休息でない」ということは真実であるならばその所持金は監視し易くないがしかし見辛い fact10: もしその疑い深さが雪深くないとすると目論むしマイクロ・ビーチである fact11: もしもその所持金が力強いならあの当該書類は雪深いがしかし目論まない fact12: 仮にあの当該書類が見辛いとすればそれは積極的休息である fact13: 「あの当該書類は監視し易い」ということは確かだ fact14: もしも積極的休息が全うするということはないとしたらそれは捕まえ易いということはない fact15: あの過重労働は積極的休息だ fact16: あの当該書類が積極的休息でないとしたらその所持金は見辛い fact17: もし仮にとあるものはマイクロ・ビーチでないならそれは積極的休息で加えてレディ・メイドだ fact18: その所持金は監視し易い fact19: もしその疑い深さがマイクロ・ビーチだとするとレディ・メイドでないしそれは捕まえ易い fact20: あの過重労働が捕まえ易いとしたらそれは積極的休息である fact21: その所持金は見辛い ; $hypothesis$ = あの過重労働は捕まえ易い ; $proof$ = 
void -> assump1: 以下のように仮定する。あの当該書類は積極的休息でない; fact9 & assump1 -> int1: その所持金は監視し易くないけど見辛い; int1 -> int2: その所持金は監視し易くない; int2 & fact18 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの当該書類は積極的休息である」ということは成り立つ; int4 & fact1 -> int5: あの当該書類は全うする; int5 & fact2 -> hypothesis; __PROVED__
事実1: あの当該書類は積極的休息であるならば「それは全うする」ということは真実だ
事実2: もし仮にあの当該書類は全うするとしたら「あの過重労働は捕まえ易い」ということは成り立つ
事実3: めでたしないしかつ力強いということはないものはない
事実4: この聴覚映像は全うするということはない
事実5: 「「全うするしさらに育て易くない」ということは偽な」物はある
事実6: もし「その所持金はめでたしないし力強くない」ということは事実と異なるとしたらそれは力強い
事実7: その疑い深さは雪深いということはない
事実8: もし仮に「雪深いけど目論まない」ものがあるとすればあの過重労働はマイクロ・ビーチであるということはない
事実9: もし「あの当該書類は積極的休息でない」ということは真実であるならばその所持金は監視し易くないがしかし見辛い
事実10: もしその疑い深さが雪深くないとすると目論むしマイクロ・ビーチである
事実11: もしもその所持金が力強いならあの当該書類は雪深いがしかし目論まない
事実12: 仮にあの当該書類が見辛いとすればそれは積極的休息である
事実13: 「あの当該書類は監視し易い」ということは確かだ
事実14: もしも積極的休息が全うするということはないとしたらそれは捕まえ易いということはない
事実15: あの過重労働は積極的休息だ
事実16: あの当該書類が積極的休息でないとしたらその所持金は見辛い
事実17: もし仮にとあるものはマイクロ・ビーチでないならそれは積極的休息で加えてレディ・メイドだ
事実18: その所持金は監視し易い
事実19: もしその疑い深さがマイクロ・ビーチだとするとレディ・メイドでないしそれは捕まえ易い
事実20: あの過重労働が捕まえ易いとしたらそれは積極的休息である
事実21: その所持金は見辛い

仮説: あの過重労働は捕まえ易い
1. 仮定1: 以下のように仮定する。あの当該書類は積極的休息でない
2. 事実9と仮定1から、推論1: "その所持金は監視し易くないけど見辛い"が導かれる
3. 推論1から、推論2: "その所持金は監視し易くない"が導かれる
4. 推論2と事実18から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの当該書類は積極的休息である」ということは成り立つ"が導かれる
6. 推論4と事実1から、推論5: "あの当該書類は全うする"が導かれる
7. 推論5と事実2から、仮説が導かれる

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