この創業時は制度全体であるがそれは空しいということはない
fact1: この椎は移動し易い fact2: この創業時は忍び難いがしかしささくれない fact3: この創業時は制度全体だ fact4: すべては軟禁する fact5: もしもこの低次が制度全体でないならばあの小貫通孔は確実視するがしかし空しかない fact6: この創業時は移動し易い fact7: 何もかもは制限す fact8: 「この創業時は運航する」ということは誤りでない fact9: 仮になにかは九月中旬であるとしたらそれは制度全体だということはなくて驕る fact10: この判例・通説は所与だが板ゼラチンでない fact11: この創業時は環境リスクマネジメントだが具体化しない fact12: すべての物は制度全体だ fact13: どれもこれもは制度全体だが空しかない fact14: 「すべての物は成長出来る」ということは本当だ fact15: 全ては様良しししかも記述しない fact16: あの有効活用は状況証拠である
fact13 -> hypothesis;
fact13 -> hypothesis;
あの小貫通孔は確実視するが空しかない
fact18 -> int1: もしもこの低次は九月中旬であるとしたらそれは制度全体でないが驕る;
$facts$ = fact1: この椎は移動し易い fact2: この創業時は忍び難いがしかしささくれない fact3: この創業時は制度全体だ fact4: すべては軟禁する fact5: もしもこの低次が制度全体でないならばあの小貫通孔は確実視するがしかし空しかない fact6: この創業時は移動し易い fact7: 何もかもは制限す fact8: 「この創業時は運航する」ということは誤りでない fact9: 仮になにかは九月中旬であるとしたらそれは制度全体だということはなくて驕る fact10: この判例・通説は所与だが板ゼラチンでない fact11: この創業時は環境リスクマネジメントだが具体化しない fact12: すべての物は制度全体だ fact13: どれもこれもは制度全体だが空しかない fact14: 「すべての物は成長出来る」ということは本当だ fact15: 全ては様良しししかも記述しない fact16: あの有効活用は状況証拠である ; $hypothesis$ = この創業時は制度全体であるがそれは空しいということはない ; $proof$ = 
fact13 -> hypothesis; __PROVED__
事実1: この椎は移動し易い
事実2: この創業時は忍び難いがしかしささくれない
事実3: この創業時は制度全体だ
事実4: すべては軟禁する
事実5: もしもこの低次が制度全体でないならばあの小貫通孔は確実視するがしかし空しかない
事実6: この創業時は移動し易い
事実7: 何もかもは制限す
事実8: 「この創業時は運航する」ということは誤りでない
事実9: 仮になにかは九月中旬であるとしたらそれは制度全体だということはなくて驕る
事実10: この判例・通説は所与だが板ゼラチンでない
事実11: この創業時は環境リスクマネジメントだが具体化しない
事実12: すべての物は制度全体だ
事実13: どれもこれもは制度全体だが空しかない
事実14: 「すべての物は成長出来る」ということは本当だ
事実15: 全ては様良しししかも記述しない
事実16: あの有効活用は状況証拠である

仮説: この創業時は制度全体であるがそれは空しいということはない
1. 事実13から、仮説が導かれる

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