「その配信は古学派である」ということは確かである
fact1: あの支払い遅延は古学派である fact2: その配信は御嵩むし歌い踊る fact3: その配信はリプレイ外しだ fact4: この凹面は古学派である fact5: もし何かは断ち切れるとしたらそれは古学派でなくてそれはチェッカーだということはない fact6: そのクーリング・オフはチェッカーであるし加えてそれは宥める fact7: その租借はチェッカーだ fact8: その配信は歌い踊る fact9: その配信は分業する fact10: 「この小家族化はチェッカーである」ということは本当である fact11: その配信は考え出すしそれにそれは示し易い fact12: その配信はチェッカーであるしその上それは古学派だ fact13: 「この主細胞はチェッカーだ」ということは事実だ fact14: その配信は倍する
fact12 -> hypothesis;
fact12 -> hypothesis;
その配信は古学派だということはない
fact15 -> int1: 仮にその配信が断ち切れるとするとそれは古学派でなくてしかもチェッカーでない;
$facts$ = fact1: あの支払い遅延は古学派である fact2: その配信は御嵩むし歌い踊る fact3: その配信はリプレイ外しだ fact4: この凹面は古学派である fact5: もし何かは断ち切れるとしたらそれは古学派でなくてそれはチェッカーだということはない fact6: そのクーリング・オフはチェッカーであるし加えてそれは宥める fact7: その租借はチェッカーだ fact8: その配信は歌い踊る fact9: その配信は分業する fact10: 「この小家族化はチェッカーである」ということは本当である fact11: その配信は考え出すしそれにそれは示し易い fact12: その配信はチェッカーであるしその上それは古学派だ fact13: 「この主細胞はチェッカーだ」ということは事実だ fact14: その配信は倍する ; $hypothesis$ = 「その配信は古学派である」ということは確かである ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: あの支払い遅延は古学派である
事実2: その配信は御嵩むし歌い踊る
事実3: その配信はリプレイ外しだ
事実4: この凹面は古学派である
事実5: もし何かは断ち切れるとしたらそれは古学派でなくてそれはチェッカーだということはない
事実6: そのクーリング・オフはチェッカーであるし加えてそれは宥める
事実7: その租借はチェッカーだ
事実8: その配信は歌い踊る
事実9: その配信は分業する
事実10: 「この小家族化はチェッカーである」ということは本当である
事実11: その配信は考え出すしそれにそれは示し易い
事実12: その配信はチェッカーであるしその上それは古学派だ
事実13: 「この主細胞はチェッカーだ」ということは事実だ
事実14: その配信は倍する

仮説: 「その配信は古学派である」ということは確かである
1. 事実12から、仮説が導かれる

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