あの罪深さは除菌する
fact1: もし仮にある物が咎めるならそれは浴び過ぎないかあるいはＳＴＲＡＴである fact2: その十二世紀末は連帯保証する fact3: 仮に「鈍いかもしくは先天的信である」物があるとするとあの罪深さは除菌する fact4: もし仮にその十二世紀末は滑り難くないなら「除菌するしそれに連帯保証する」ということは成り立たない fact5: この悲歌が浴び過ぎるということはないかまたはＳＴＲＡＴならあの宵待草は鈍い fact6: もしとある物が鈍いかまたは除菌するかもしくはどちらもであるとしたらあの罪深さは連帯保証する fact7: もし「とあるものは安しけれど当て込まない」ということは事実と異なれば先天的信でない fact8: この要綱等は回診するしまた当て込む fact9: 仮に「「当て込む」ということは誤っていない」物はあるとすれば「あの宵待草は安しけれど当て込まない」ということは偽だ fact10: もしも滑り難いものがあるとすればその十二世紀末は連帯保証するし更に鈍い fact11: もし仮にこのペイントツールが滑り難くないならばその十二世紀末は滑り難くない fact12: あの罪深さは連帯保証する fact13: この悲歌が御済むとしたらそれは咎める fact14: とある物は滑り難い fact15: もし鈍いものが先天的信でないならこのペイントツールは滑り難くない fact16: ある物は鈍いかまたは除菌する
fact14 & fact10 -> int1: その十二世紀末は連帯保証するし鈍い; int1 -> int2: その十二世紀末は鈍い; int2 -> int3: その十二世紀末は鈍いかそれは先天的信であるかまたはどちらもである; int3 -> int4: なんらかの物は鈍いか先天的信であるかまたはどちらもである; int4 & fact3 -> hypothesis;
あの罪深さは除菌しない
fact19 -> int5: もしもこの悲歌が咎めるなら浴び過ぎないかまたはＳＴＲＡＴであるか両方だ; fact24 -> int6: もし「あの宵待草は安しがそれは当て込まない」ということは正しくないとすればそれは先天的信であるということはない; fact22 -> int7: この要綱等は当て込む; int7 -> int8: 「ある物は当て込む」ということは事実だ; int8 & fact23 -> int9: 「あの宵待草は安しがしかし当て込むということはない」ということは偽だ; int6 & int9 -> int10: 「あの宵待草は先天的信でない」ということは成り立つ;
$facts$ = fact1: もし仮にある物が咎めるならそれは浴び過ぎないかあるいはＳＴＲＡＴである fact2: その十二世紀末は連帯保証する fact3: 仮に「鈍いかもしくは先天的信である」物があるとするとあの罪深さは除菌する fact4: もし仮にその十二世紀末は滑り難くないなら「除菌するしそれに連帯保証する」ということは成り立たない fact5: この悲歌が浴び過ぎるということはないかまたはＳＴＲＡＴならあの宵待草は鈍い fact6: もしとある物が鈍いかまたは除菌するかもしくはどちらもであるとしたらあの罪深さは連帯保証する fact7: もし「とあるものは安しけれど当て込まない」ということは事実と異なれば先天的信でない fact8: この要綱等は回診するしまた当て込む fact9: 仮に「「当て込む」ということは誤っていない」物はあるとすれば「あの宵待草は安しけれど当て込まない」ということは偽だ fact10: もしも滑り難いものがあるとすればその十二世紀末は連帯保証するし更に鈍い fact11: もし仮にこのペイントツールが滑り難くないならばその十二世紀末は滑り難くない fact12: あの罪深さは連帯保証する fact13: この悲歌が御済むとしたらそれは咎める fact14: とある物は滑り難い fact15: もし鈍いものが先天的信でないならこのペイントツールは滑り難くない fact16: ある物は鈍いかまたは除菌する ; $hypothesis$ = あの罪深さは除菌する ; $proof$ = 
fact14 & fact10 -> int1: その十二世紀末は連帯保証するし鈍い; int1 -> int2: その十二世紀末は鈍い; int2 -> int3: その十二世紀末は鈍いかそれは先天的信であるかまたはどちらもである; int3 -> int4: なんらかの物は鈍いか先天的信であるかまたはどちらもである; int4 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にある物が咎めるならそれは浴び過ぎないかあるいはＳＴＲＡＴである
事実2: その十二世紀末は連帯保証する
事実3: 仮に「鈍いかもしくは先天的信である」物があるとするとあの罪深さは除菌する
事実4: もし仮にその十二世紀末は滑り難くないなら「除菌するしそれに連帯保証する」ということは成り立たない
事実5: この悲歌が浴び過ぎるということはないかまたはＳＴＲＡＴならあの宵待草は鈍い
事実6: もしとある物が鈍いかまたは除菌するかもしくはどちらもであるとしたらあの罪深さは連帯保証する
事実7: もし「とあるものは安しけれど当て込まない」ということは事実と異なれば先天的信でない
事実8: この要綱等は回診するしまた当て込む
事実9: 仮に「「当て込む」ということは誤っていない」物はあるとすれば「あの宵待草は安しけれど当て込まない」ということは偽だ
事実10: もしも滑り難いものがあるとすればその十二世紀末は連帯保証するし更に鈍い
事実11: もし仮にこのペイントツールが滑り難くないならばその十二世紀末は滑り難くない
事実12: あの罪深さは連帯保証する
事実13: この悲歌が御済むとしたらそれは咎める
事実14: とある物は滑り難い
事実15: もし鈍いものが先天的信でないならこのペイントツールは滑り難くない
事実16: ある物は鈍いかまたは除菌する

仮説: あの罪深さは除菌する
1. 事実14と事実10から、推論1: "その十二世紀末は連帯保証するし鈍い"が導かれる
2. 推論1から、推論2: "その十二世紀末は鈍い"が導かれる
3. 推論2から、推論3: "その十二世紀末は鈍いかそれは先天的信であるかまたはどちらもである"が導かれる
4. 推論3から、推論4: "なんらかの物は鈍いか先天的信であるかまたはどちらもである"が導かれる
5. 推論4と事実3から、仮説が導かれる

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