この卒業制作は認知出来るししかも坂道だ
fact1: この卒業制作は集合しない fact2: 仮に「「作業し易いし集合する」ということは偽である」物があるならその機械類は集合しない fact3: もしなにがしかのものは薄暗がりでないなら「それは照射しなくておまけにそれは進化し易い」ということは成り立たない fact4: その機械類は照射する fact5: 何らかのものは照射するしそれは作業し易い fact6: 仮にあの変革期が集合しないとするとこの卒業制作は坂道だ fact7: 仮になんらかのものは集合しないなら「それは益無しし更に利幅だ」ということは誤りである fact8: 「「照射するし更に作業し易い」ということは偽である」物はある fact9: このアメリカ産業はブランド化しない fact10: 「「認知出来るしそれに集合する」ということは事実と異なる」ものはあるとすれば「この卒業制作は集合しない」ということは成り立つ fact11: もし仮にあの変革期が集合するとすればあの機械類は作業し易い fact12: この卒業制作は坂道だ fact13: 仮に「「作業し易くない」ということは誤っていない」ものはあるとしたら「その機械類は作業し易い」ということは成り立たない fact14: あの変革期が集合しないとしたらこの卒業制作は認知出来るしそれは坂道である fact15: あの変革期は作業し易い fact16: 仮に「「照射するしそれに作業し易い」ということは成り立たない」物があるとしたらその機械類は作業し易くない fact17: もしもあの変革期は作業し易くて照射するとすると「この卒業制作は集合しない」ということは事実である
void -> assump1: 以下のように仮定する。あの変革期は集合する; fact11 & assump1 -> int1: その機械類は作業し易い; fact16 & fact8 -> int2: 「その機械類は作業し易いということはない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの変革期は集合しない; int4 & fact14 -> hypothesis;
「この卒業制作は認知出来るし坂道である」ということは間違いである
fact19 -> int5: その機械類は薄暗がりでないならば「照射しないけれど進化し易い」ということは確かでない;
$facts$ = fact1: この卒業制作は集合しない fact2: 仮に「「作業し易いし集合する」ということは偽である」物があるならその機械類は集合しない fact3: もしなにがしかのものは薄暗がりでないなら「それは照射しなくておまけにそれは進化し易い」ということは成り立たない fact4: その機械類は照射する fact5: 何らかのものは照射するしそれは作業し易い fact6: 仮にあの変革期が集合しないとするとこの卒業制作は坂道だ fact7: 仮になんらかのものは集合しないなら「それは益無しし更に利幅だ」ということは誤りである fact8: 「「照射するし更に作業し易い」ということは偽である」物はある fact9: このアメリカ産業はブランド化しない fact10: 「「認知出来るしそれに集合する」ということは事実と異なる」ものはあるとすれば「この卒業制作は集合しない」ということは成り立つ fact11: もし仮にあの変革期が集合するとすればあの機械類は作業し易い fact12: この卒業制作は坂道だ fact13: 仮に「「作業し易くない」ということは誤っていない」ものはあるとしたら「その機械類は作業し易い」ということは成り立たない fact14: あの変革期が集合しないとしたらこの卒業制作は認知出来るしそれは坂道である fact15: あの変革期は作業し易い fact16: 仮に「「照射するしそれに作業し易い」ということは成り立たない」物があるとしたらその機械類は作業し易くない fact17: もしもあの変革期は作業し易くて照射するとすると「この卒業制作は集合しない」ということは事実である ; $hypothesis$ = この卒業制作は認知出来るししかも坂道だ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの変革期は集合する; fact11 & assump1 -> int1: その機械類は作業し易い; fact16 & fact8 -> int2: 「その機械類は作業し易いということはない」ということは成り立つ; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの変革期は集合しない; int4 & fact14 -> hypothesis; __PROVED__
事実1: この卒業制作は集合しない
事実2: 仮に「「作業し易いし集合する」ということは偽である」物があるならその機械類は集合しない
事実3: もしなにがしかのものは薄暗がりでないなら「それは照射しなくておまけにそれは進化し易い」ということは成り立たない
事実4: その機械類は照射する
事実5: 何らかのものは照射するしそれは作業し易い
事実6: 仮にあの変革期が集合しないとするとこの卒業制作は坂道だ
事実7: 仮になんらかのものは集合しないなら「それは益無しし更に利幅だ」ということは誤りである
事実8: 「「照射するし更に作業し易い」ということは偽である」物はある
事実9: このアメリカ産業はブランド化しない
事実10: 「「認知出来るしそれに集合する」ということは事実と異なる」ものはあるとすれば「この卒業制作は集合しない」ということは成り立つ
事実11: もし仮にあの変革期が集合するとすればあの機械類は作業し易い
事実12: この卒業制作は坂道だ
事実13: 仮に「「作業し易くない」ということは誤っていない」ものはあるとしたら「その機械類は作業し易い」ということは成り立たない
事実14: あの変革期が集合しないとしたらこの卒業制作は認知出来るしそれは坂道である
事実15: あの変革期は作業し易い
事実16: 仮に「「照射するしそれに作業し易い」ということは成り立たない」物があるとしたらその機械類は作業し易くない
事実17: もしもあの変革期は作業し易くて照射するとすると「この卒業制作は集合しない」ということは事実である

仮説: この卒業制作は認知出来るししかも坂道だ
1. 仮定1: 以下のように仮定する。あの変革期は集合する
2. 事実11と仮定1から、推論1: "その機械類は作業し易い"が導かれる
3. 事実16と事実8から、推論2: "「その機械類は作業し易いということはない」ということは成り立つ"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの変革期は集合しない"が導かれる
6. 推論4と事実14から、仮説が導かれる

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