もし仮にこのぷう太郎は隠蔽すれば「あの退学届けはさすらわないけれどそれは重層する」ということは成り立たない
fact1: このぷう太郎は隠蔽するとしたら「あの退学届けはさすらうしそれに重層する」ということは間違いである fact2: 仮にあの耐熱は見境無いとすれば「このぷう太郎は隠蔽しない」ということは事実である fact3: もしも「「あの耐熱は見境無くないけど危うい」ということは確かだ」ということは誤りならばこのぷう太郎は隠蔽しない fact4: 「あの退学届けはさすらわない」ということは事実である fact5: もしなんらかの物がさすらわない一方でそれが重層するならそれは危うくない fact6: 仮にあの退学届けは危うくないならば「あの耐熱は見境無いし危うい」ということは成り立たない fact7: 「あの退学届けはさすらうし加えて重層する」ということは間違いだ fact8: もし仮に「このぷう太郎は治療出来ないかあるいは立ちはだからないかあるいはどちらもである」ということは偽ならばあの耐熱は治療出来ない fact9: もし仮に「あの耐熱は見境無くないけど危うい」ということは間違っているならこのぷう太郎は隠蔽する fact10: このぷう太郎は実演するし嘲笑する fact11: もしこのぷう太郎が隠蔽するならあの退学届けはさすらうということはないがそれは重層する fact12: 「「あの微小転移は危ういということはないけれど編み止めする」ということは事実と異ならない」ということは成り立たない fact13: もしなんらかのものがさすらうしその上重層するとしたらそれは危うくない fact14: 「あの耐熱は見境無くてまた危うい」ということは成り立たない fact15: もしもあの退学届けは危うくないなら「あの耐熱は見境無いということはない一方で危うい」ということは嘘である fact16: あの耐熱は重層するということはない fact17: 仮になにがしかのものは嘲笑するとすると「治療出来ないかもしくは立ちはだからないかあるいはどちらもである」ということは偽である fact18: もしとあるものは治療出来ないとしたら「それは隠蔽するし危うい」ということは本当だということはない fact19: もし仮になにがしかのものは見境無くないとすれば「それは感電死傷事故でなくてそれにそれは惨い」ということは嘘である fact20: 仮にこのぷう太郎は見境無くないとすれば「あの耐熱は隠蔽するということはない一方で見境無い」ということは成り立たない fact21: あの退学届けがさすらうしまたそれが重層するとすれば危うくない
fact5 -> int1: もしもあの退学届けがさすらわないけど重層するなら「危うくない」ということは成り立つ; void -> assump2: 以下のように仮定する。あの退学届けはさすらわない一方で重層する; int1 & assump2 -> int2: あの退学届けは危うくない; int2 & fact15 -> int3: 「あの耐熱は見境無くないがしかし危うい」ということは偽だ; int3 & fact3 -> int4: 「このぷう太郎は隠蔽しない」ということは正しい; void -> assump1: 以下のように仮定する。このぷう太郎は隠蔽する; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「あの退学届けはさすらわないけどそれは重層する」ということは偽だ; [assump1] & int6 -> hypothesis;
「そのカロテンは感電死傷事故でないがしかしそれは惨い」ということは偽である
fact26 -> int7: もしそのカロテンは見境無くないとしたら「感電死傷事故でなくてそれは惨い」ということは事実と異なる; fact23 -> int8: あの耐熱は治療出来るということはないなら「隠蔽するし更に危うい」ということは成り立たない; fact22 -> int9: 仮にこのぷう太郎は嘲笑するとすれば「治療出来るということはないかまたは立ちはだかるということはないか両方ともだ」ということは誤りである; fact25 -> int10: このぷう太郎は嘲笑する; int9 & int10 -> int11: 「このぷう太郎は治療出来るということはないかもしくは立ちはだからない」ということは成り立たない; fact24 & int11 -> int12: あの耐熱は治療出来ない; int8 & 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$ = 
fact5 -> int1: もしもあの退学届けがさすらわないけど重層するなら「危うくない」ということは成り立つ; void -> assump2: 以下のように仮定する。あの退学届けはさすらわない一方で重層する; int1 & assump2 -> int2: あの退学届けは危うくない; int2 & fact15 -> int3: 「あの耐熱は見境無くないがしかし危うい」ということは偽だ; int3 & fact3 -> int4: 「このぷう太郎は隠蔽しない」ということは正しい; void -> assump1: 以下のように仮定する。このぷう太郎は隠蔽する; int4 & assump1 -> int5: これは矛盾である; [assump2] & int5 -> int6: 「あの退学届けはさすらわないけどそれは重層する」ということは偽だ; [assump1] & int6 -> hypothesis; __PROVED__
事実1: このぷう太郎は隠蔽するとしたら「あの退学届けはさすらうしそれに重層する」ということは間違いである
事実2: 仮にあの耐熱は見境無いとすれば「このぷう太郎は隠蔽しない」ということは事実である
事実3: もしも「「あの耐熱は見境無くないけど危うい」ということは確かだ」ということは誤りならばこのぷう太郎は隠蔽しない
事実4: 「あの退学届けはさすらわない」ということは事実である
事実5: もしなんらかの物がさすらわない一方でそれが重層するならそれは危うくない
事実6: 仮にあの退学届けは危うくないならば「あの耐熱は見境無いし危うい」ということは成り立たない
事実7: 「あの退学届けはさすらうし加えて重層する」ということは間違いだ
事実8: もし仮に「このぷう太郎は治療出来ないかあるいは立ちはだからないかあるいはどちらもである」ということは偽ならばあの耐熱は治療出来ない
事実9: もし仮に「あの耐熱は見境無くないけど危うい」ということは間違っているならこのぷう太郎は隠蔽する
事実10: このぷう太郎は実演するし嘲笑する
事実11: もしこのぷう太郎が隠蔽するならあの退学届けはさすらうということはないがそれは重層する
事実12: 「「あの微小転移は危ういということはないけれど編み止めする」ということは事実と異ならない」ということは成り立たない
事実13: もしなんらかのものがさすらうしその上重層するとしたらそれは危うくない
事実14: 「あの耐熱は見境無くてまた危うい」ということは成り立たない
事実15: もしもあの退学届けは危うくないなら「あの耐熱は見境無いということはない一方で危うい」ということは嘘である
事実16: あの耐熱は重層するということはない
事実17: 仮になにがしかのものは嘲笑するとすると「治療出来ないかもしくは立ちはだからないかあるいはどちらもである」ということは偽である
事実18: もしとあるものは治療出来ないとしたら「それは隠蔽するし危うい」ということは本当だということはない
事実19: もし仮になにがしかのものは見境無くないとすれば「それは感電死傷事故でなくてそれにそれは惨い」ということは嘘である
事実20: 仮にこのぷう太郎は見境無くないとすれば「あの耐熱は隠蔽するということはない一方で見境無い」ということは成り立たない
事実21: あの退学届けがさすらうしまたそれが重層するとすれば危うくない

仮説: もし仮にこのぷう太郎は隠蔽すれば「あの退学届けはさすらわないけれどそれは重層する」ということは成り立たない
1. 事実5から、推論1: "もしもあの退学届けがさすらわないけど重層するなら「危うくない」ということは成り立つ"が導かれる
2. 仮定2: 以下のように仮定する。あの退学届けはさすらわない一方で重層する
3. 推論1と仮定2から、推論2: "あの退学届けは危うくない"が導かれる
4. 推論2と事実15から、推論3: "「あの耐熱は見境無くないがしかし危うい」ということは偽だ"が導かれる
5. 推論3と事実3から、推論4: "「このぷう太郎は隠蔽しない」ということは正しい"が導かれる
6. 仮定1: 以下のように仮定する。このぷう太郎は隠蔽する
7. 推論4と仮定1から、推論5: "これは矛盾である"が導かれる
8. [仮定2]と推論5から、推論6: "「あの退学届けはさすらわないけどそれは重層する」ということは偽だ"が導かれる
9. [仮定1]と推論6から、仮説が導かれる

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