「身さんであるしかつ各校である」ものはある
fact1: 「居住地国だしさらに澄む」物はある fact2: 「この企業誘致は受け取り証書だ」ということは本当だ fact3: あの自主的規制は受け取り証書であるということはない fact4: 仮にあの自主的規制が受け取り証書だということはないとすれば各校だ fact5: 「御増す」ものはある fact6: 「その就職差別は凭せるということはない」ということは真実である fact7: 「受け取り証書だし各校でない」ものはある fact8: もしあの自主的規制が危なっかしくないならばそれは即する fact9: 「眠たいし項目区分でない」物はある fact10: そのアポリアは受け取り証書である fact11: あの自主的規制はブースト圧だ fact12: もし仮にあるものが危なっかしくないならあの自主的規制は身さんだ fact13: もし「「危なっかしいけれど身さんでない」ということは間違いである」物があるとするとあの自主的規制は身さんだ fact14: なにかは並列するけれど姦通するということはない fact15: あの自主的規制が危なっかしくないならばそれは強請れる fact16: 「「危なっかしくて身さんでない」ということは事実と異なる」物はある fact17: 「「危なっかしいし身さんである」ということは成り立たない」物はある fact18: 「「受け取り証書であるし更に各校でない」ということは真実でない」物はある fact19: もし仮に「「毒々しくてあからさま過ぎない」ということは確かでない」物があるならあの自主的規制はあからさま過ぎる fact20: 「「各校である」ということは確かな」物はある fact21: 何らかの物は危なっかしいけど身さんでない
fact4 & fact3 -> int1: あの自主的規制は各校だ; fact13 & fact16 -> int2: あの自主的規制は身さんである; int1 & int2 -> int3: あの自主的規制は身さんであるしまたそれは各校である; int3 -> hypothesis;
$facts$ = fact1: 「居住地国だしさらに澄む」物はある fact2: 「この企業誘致は受け取り証書だ」ということは本当だ fact3: あの自主的規制は受け取り証書であるということはない fact4: 仮にあの自主的規制が受け取り証書だということはないとすれば各校だ fact5: 「御増す」ものはある fact6: 「その就職差別は凭せるということはない」ということは真実である fact7: 「受け取り証書だし各校でない」ものはある fact8: もしあの自主的規制が危なっかしくないならばそれは即する fact9: 「眠たいし項目区分でない」物はある fact10: そのアポリアは受け取り証書である fact11: あの自主的規制はブースト圧だ fact12: もし仮にあるものが危なっかしくないならあの自主的規制は身さんだ fact13: もし「「危なっかしいけれど身さんでない」ということは間違いである」物があるとするとあの自主的規制は身さんだ fact14: なにかは並列するけれど姦通するということはない fact15: あの自主的規制が危なっかしくないならばそれは強請れる fact16: 「「危なっかしくて身さんでない」ということは事実と異なる」物はある fact17: 「「危なっかしいし身さんである」ということは成り立たない」物はある fact18: 「「受け取り証書であるし更に各校でない」ということは真実でない」物はある fact19: もし仮に「「毒々しくてあからさま過ぎない」ということは確かでない」物があるならあの自主的規制はあからさま過ぎる fact20: 「「各校である」ということは確かな」物はある fact21: 何らかの物は危なっかしいけど身さんでない ; $hypothesis$ = 「身さんであるしかつ各校である」ものはある ; $proof$ = 
fact4 & fact3 -> int1: あの自主的規制は各校だ; fact13 & fact16 -> int2: あの自主的規制は身さんである; int1 & int2 -> int3: あの自主的規制は身さんであるしまたそれは各校である; int3 -> hypothesis; __PROVED__
事実1: 「居住地国だしさらに澄む」物はある
事実2: 「この企業誘致は受け取り証書だ」ということは本当だ
事実3: あの自主的規制は受け取り証書であるということはない
事実4: 仮にあの自主的規制が受け取り証書だということはないとすれば各校だ
事実5: 「御増す」ものはある
事実6: 「その就職差別は凭せるということはない」ということは真実である
事実7: 「受け取り証書だし各校でない」ものはある
事実8: もしあの自主的規制が危なっかしくないならばそれは即する
事実9: 「眠たいし項目区分でない」物はある
事実10: そのアポリアは受け取り証書である
事実11: あの自主的規制はブースト圧だ
事実12: もし仮にあるものが危なっかしくないならあの自主的規制は身さんだ
事実13: もし「「危なっかしいけれど身さんでない」ということは間違いである」物があるとするとあの自主的規制は身さんだ
事実14: なにかは並列するけれど姦通するということはない
事実15: あの自主的規制が危なっかしくないならばそれは強請れる
事実16: 「「危なっかしくて身さんでない」ということは事実と異なる」物はある
事実17: 「「危なっかしいし身さんである」ということは成り立たない」物はある
事実18: 「「受け取り証書であるし更に各校でない」ということは真実でない」物はある
事実19: もし仮に「「毒々しくてあからさま過ぎない」ということは確かでない」物があるならあの自主的規制はあからさま過ぎる
事実20: 「「各校である」ということは確かな」物はある
事実21: 何らかの物は危なっかしいけど身さんでない

仮説: 「身さんであるしかつ各校である」ものはある
1. 事実4と事実3から、推論1: "あの自主的規制は各校だ"が導かれる
2. 事実13と事実16から、推論2: "あの自主的規制は身さんである"が導かれる
3. 推論1と推論2から、推論3: "あの自主的規制は身さんであるしまたそれは各校である"が導かれる
4. 推論3から、仮説が導かれる

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