あの共有化は遊び半分であるか規定内容であるかどちらもである
fact1: 遊び半分は規定内容である fact2: もし「厳しかない」物があるとしたらこのアルゴリズムは通り難くない fact3: あの共有化は遊び半分であるしその上治療する fact4: 通り難いということはない物は治療するしかつ餓鬼っぽい fact5: あの念仏踊りは打っ殺すしかつ表示通りだ fact6: もし仮に「あの共有化は禍々しいけど遊び半分であるということはない」ということは成り立たないとしたらそのＡ罪は遊び半分だ fact7: 仮にあの念仏踊りは打っ殺すし更に表示通りだとすれば「「それは厳しい」ということは正しい」ということは成り立たない fact8: あの共有化は治療する
fact3 -> int1: あの共有化は遊び半分である; int1 -> hypothesis;
fact3 -> int1: {A}{a}; int1 -> hypothesis;
そのＡ罪は規定内容だ
fact10 -> int2: もしそのＡ罪が遊び半分だとしたらそれは規定内容である; fact12 -> int3: 仮にこのアルゴリズムが通り難くないとしたら治療するしおまけに餓鬼っぽい; fact13 & fact11 -> int4: あの念仏踊りは厳しかない; int4 -> int5: 「厳しいということはない」物はある; int5 & fact14 -> int6: 「このアルゴリズムは通り難くない」ということは本当である; int3 & int6 -> int7: このアルゴリズムは治療するし餓鬼っぽい; int7 -> int8: このアルゴリズムは治療する; int8 -> int9: 「治療する」ものはある;
$facts$ = fact1: 遊び半分は規定内容である fact2: もし「厳しかない」物があるとしたらこのアルゴリズムは通り難くない fact3: あの共有化は遊び半分であるしその上治療する fact4: 通り難いということはない物は治療するしかつ餓鬼っぽい fact5: あの念仏踊りは打っ殺すしかつ表示通りだ fact6: もし仮に「あの共有化は禍々しいけど遊び半分であるということはない」ということは成り立たないとしたらそのＡ罪は遊び半分だ fact7: 仮にあの念仏踊りは打っ殺すし更に表示通りだとすれば「「それは厳しい」ということは正しい」ということは成り立たない fact8: あの共有化は治療する ; $hypothesis$ = あの共有化は遊び半分であるか規定内容であるかどちらもである ; $proof$ = 
fact3 -> int1: あの共有化は遊び半分である; int1 -> hypothesis; __PROVED__
事実1: 遊び半分は規定内容である
事実2: もし「厳しかない」物があるとしたらこのアルゴリズムは通り難くない
事実3: あの共有化は遊び半分であるしその上治療する
事実4: 通り難いということはない物は治療するしかつ餓鬼っぽい
事実5: あの念仏踊りは打っ殺すしかつ表示通りだ
事実6: もし仮に「あの共有化は禍々しいけど遊び半分であるということはない」ということは成り立たないとしたらそのＡ罪は遊び半分だ
事実7: 仮にあの念仏踊りは打っ殺すし更に表示通りだとすれば「「それは厳しい」ということは正しい」ということは成り立たない
事実8: あの共有化は治療する

仮説: あの共有化は遊び半分であるか規定内容であるかどちらもである
1. 事実3から、推論1: "あの共有化は遊び半分である"が導かれる
2. 推論1から、仮説が導かれる

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