その青地が眠るしその上それは削平する
fact1: もし仮にその青地が円形脱毛症でないならばその産業会社は六月末でない fact2: 「その青地は参るしおまけにそれは判別し易い」ということは誤りだ fact3: その青地は早まるということはない一方で探し易いとすると「円形脱毛症でない」ということは嘘でない fact4: ある物は満腹しないとしたら「頼り過ぎるし更に敵う」ということは成り立たない fact5: もしも「あるものは頼り過ぎるし敵う」ということは成り立たないとすれば「それは円形脱毛症だということはない」ということは事実だ fact6: 「中年男であるということはない」物はある fact7: その産業会社は六月末だ fact8: 仮に「その青地は早まらないがしかし探し易い」ということは成り立たないとしたら「それは削平する」ということは真実だ fact9: あの銃弾は眠る fact10: その青地は眠る fact11: 「「その産業会社は早まるししかも浅ましい」ということは事実だ」ということは成り立たない fact12: なにがしかの物は六月末でないならば「眠るし加えてそれは削平する」ということは誤りである fact13: 「その産業会社は眠らないけれどうざい」ということは成り立たない
void -> assump1: 以下のように仮定する。その青地は早まらないけれどそれは探し易い; fact3 & assump1 -> int1: その青地は円形脱毛症でない; int1 & fact1 -> int2: その産業会社は六月末でない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その青地は早まらないがしかし探し易い」ということは本当でない; int4 & fact8 -> int5: その青地は削平する; int5 & fact10 -> hypothesis;
「その青地は眠るし削平する」ということは嘘である
fact16 -> int6: もし仮にその青地は六月末でないとすると「それは眠るしまた削平する」ということは成り立つということはない; fact17 -> int7: もし「その産業会社は頼り過ぎるしそれに敵う」ということは成り立つということはないならそれは円形脱毛症でない; fact15 -> int8: 仮にその産業会社は満腹しないとすると「「それは頼り過ぎるし加えて敵う」ということは成り立つ」ということは成り立たない;
$facts$ = fact1: もし仮にその青地が円形脱毛症でないならばその産業会社は六月末でない fact2: 「その青地は参るしおまけにそれは判別し易い」ということは誤りだ fact3: その青地は早まるということはない一方で探し易いとすると「円形脱毛症でない」ということは嘘でない fact4: ある物は満腹しないとしたら「頼り過ぎるし更に敵う」ということは成り立たない fact5: もしも「あるものは頼り過ぎるし敵う」ということは成り立たないとすれば「それは円形脱毛症だということはない」ということは事実だ fact6: 「中年男であるということはない」物はある fact7: その産業会社は六月末だ fact8: 仮に「その青地は早まらないがしかし探し易い」ということは成り立たないとしたら「それは削平する」ということは真実だ fact9: あの銃弾は眠る fact10: その青地は眠る fact11: 「「その産業会社は早まるししかも浅ましい」ということは事実だ」ということは成り立たない fact12: なにがしかの物は六月末でないならば「眠るし加えてそれは削平する」ということは誤りである fact13: 「その産業会社は眠らないけれどうざい」ということは成り立たない ; $hypothesis$ = その青地が眠るしその上それは削平する ; $proof$ = 
void -> assump1: 以下のように仮定する。その青地は早まらないけれどそれは探し易い; fact3 & assump1 -> int1: その青地は円形脱毛症でない; int1 & fact1 -> int2: その産業会社は六月末でない; int2 & fact7 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「その青地は早まらないがしかし探し易い」ということは本当でない; int4 & fact8 -> int5: その青地は削平する; int5 & fact10 -> hypothesis; __PROVED__
事実1: もし仮にその青地が円形脱毛症でないならばその産業会社は六月末でない
事実2: 「その青地は参るしおまけにそれは判別し易い」ということは誤りだ
事実3: その青地は早まるということはない一方で探し易いとすると「円形脱毛症でない」ということは嘘でない
事実4: ある物は満腹しないとしたら「頼り過ぎるし更に敵う」ということは成り立たない
事実5: もしも「あるものは頼り過ぎるし敵う」ということは成り立たないとすれば「それは円形脱毛症だということはない」ということは事実だ
事実6: 「中年男であるということはない」物はある
事実7: その産業会社は六月末だ
事実8: 仮に「その青地は早まらないがしかし探し易い」ということは成り立たないとしたら「それは削平する」ということは真実だ
事実9: あの銃弾は眠る
事実10: その青地は眠る
事実11: 「「その産業会社は早まるししかも浅ましい」ということは事実だ」ということは成り立たない
事実12: なにがしかの物は六月末でないならば「眠るし加えてそれは削平する」ということは誤りである
事実13: 「その産業会社は眠らないけれどうざい」ということは成り立たない

仮説: その青地が眠るしその上それは削平する
1. 仮定1: 以下のように仮定する。その青地は早まらないけれどそれは探し易い
2. 事実3と仮定1から、推論1: "その青地は円形脱毛症でない"が導かれる
3. 推論1と事実1から、推論2: "その産業会社は六月末でない"が導かれる
4. 推論2と事実7から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「その青地は早まらないがしかし探し易い」ということは本当でない"が導かれる
6. 推論4と事実8から、推論5: "その青地は削平する"が導かれる
7. 推論5と事実10から、仮説が導かれる

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