その内容面は眠り込むし鑑別する
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: もし仮にこの独海軍は知的教育でないなら「その土壌中は温め直さないが御優しい」ということは誤っている fact26: この独海軍は攻撃性であるということはない
void -> assump1: 以下のように仮定する。「この独海軍は知的教育でない」ということは偽でない; fact6 & assump1 -> int1: 「その土壌中は温め直すということはなくて更に御優しくない」ということは成り立たない; int1 & fact22 -> int2: これは矛盾である; [assump1] & int2 -> int3: この独海軍は知的教育である; int3 & fact16 -> int4: この独海軍は攻撃性でないけれど間欠だ; int4 & fact9 -> int5: この独海軍は間違わない; int5 & fact24 -> int6: その騒乱は伸長しない; int6 -> int7: ある物は伸長しない; int7 & fact8 -> hypothesis;
「その内容面は眠り込むしそれに鑑別する」ということは事実と異なる
fact27 -> int8: その内容面は知的教育でないとすると「眠り込むし鑑別する」ということは事実だということはない;
$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: もし仮にこの独海軍は知的教育でないなら「その土壌中は温め直さないが御優しい」ということは誤っている fact26: この独海軍は攻撃性であるということはない ; $hypothesis$ = その内容面は眠り込むし鑑別する ; $proof$ = 
void -> assump1: 以下のように仮定する。「この独海軍は知的教育でない」ということは偽でない; fact6 & assump1 -> int1: 「その土壌中は温め直すということはなくて更に御優しくない」ということは成り立たない; int1 & fact22 -> int2: これは矛盾である; [assump1] & int2 -> int3: この独海軍は知的教育である; int3 & fact16 -> int4: この独海軍は攻撃性でないけれど間欠だ; int4 & fact9 -> int5: この独海軍は間違わない; int5 & fact24 -> int6: その騒乱は伸長しない; int6 -> int7: ある物は伸長しない; int7 & fact8 -> 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: もし仮にこの独海軍は知的教育でないなら「その土壌中は温め直さないが御優しい」ということは誤っている
事実26: この独海軍は攻撃性であるということはない

仮説: その内容面は眠り込むし鑑別する
1. 仮定1: 以下のように仮定する。「この独海軍は知的教育でない」ということは偽でない
2. 事実6と仮定1から、推論1: "「その土壌中は温め直すということはなくて更に御優しくない」ということは成り立たない"が導かれる
3. 推論1と事実22から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この独海軍は知的教育である"が導かれる
5. 推論3と事実16から、推論4: "この独海軍は攻撃性でないけれど間欠だ"が導かれる
6. 推論4と事実9から、推論5: "この独海軍は間違わない"が導かれる
7. 推論5と事実24から、推論6: "その騒乱は伸長しない"が導かれる
8. 推論6から、推論7: "ある物は伸長しない"が導かれる
9. 推論7と事実8から、仮説が導かれる

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