この代理者は呼ばわる
fact1: この読字速度は呼ばわる fact2: もし仮にとある物は辛くないなら「生存出来るし加えておどろおどろしい」ということは間違いである fact3: 仮にこの準々決勝が薄明るくないとすればこの皿饂飩は力無い fact4: もしも「とあるものは強行だがでかくない」ということは嘘だとすれば辛くない fact5: この渡船施設は呼ばわる fact6: もし仮になにかはクラブアリストだということはない一方で死に掛かるならそれは呼ばわる fact7: 仮に「あるものは死に掛かるしクラブアリストだ」ということは成り立たないなら呼ばわるということはない fact8: 「もし「なんらかのものは薄明るいがしかしそれは写真集でない」ということは成り立たないとするとそれは薄明るくない」ということは事実だ fact9: 仮に「何らかの物は生存出来るしおどろおどろしい」ということは誤りだとすると死に掛からない fact10: 仮になにがしかの物は潜行するとしたら「それは強行だけれどでかくない」ということは成り立たない fact11: もし何らかのものが死に掛かるとすると呼ばわる fact12: この準々決勝は早し fact13: もしもなにがしかの物は早しなら「それは薄明るいが写真集でない」ということは事実と異なる fact14: この代理者は呼ばわる fact15: もしもこの皿饂飩が力無いとすればあのエキサイトは力無い fact16: もしこのエキサイトが力無いとすればそれは潜行する
fact14 -> hypothesis;
fact14 -> hypothesis;
「あの現代っ子は呼ばわる」ということは本当だ
fact17 -> int1: もしあの現代っ子はクラブアリストでないがしかし死に掛かるとすれば呼ばわる;
$facts$ = fact1: この読字速度は呼ばわる fact2: もし仮にとある物は辛くないなら「生存出来るし加えておどろおどろしい」ということは間違いである fact3: 仮にこの準々決勝が薄明るくないとすればこの皿饂飩は力無い fact4: もしも「とあるものは強行だがでかくない」ということは嘘だとすれば辛くない fact5: この渡船施設は呼ばわる fact6: もし仮になにかはクラブアリストだということはない一方で死に掛かるならそれは呼ばわる fact7: 仮に「あるものは死に掛かるしクラブアリストだ」ということは成り立たないなら呼ばわるということはない fact8: 「もし「なんらかのものは薄明るいがしかしそれは写真集でない」ということは成り立たないとするとそれは薄明るくない」ということは事実だ fact9: 仮に「何らかの物は生存出来るしおどろおどろしい」ということは誤りだとすると死に掛からない fact10: 仮になにがしかの物は潜行するとしたら「それは強行だけれどでかくない」ということは成り立たない fact11: もし何らかのものが死に掛かるとすると呼ばわる fact12: この準々決勝は早し fact13: もしもなにがしかの物は早しなら「それは薄明るいが写真集でない」ということは事実と異なる fact14: この代理者は呼ばわる fact15: もしもこの皿饂飩が力無いとすればあのエキサイトは力無い fact16: もしこのエキサイトが力無いとすればそれは潜行する ; $hypothesis$ = この代理者は呼ばわる ; $proof$ = 
fact14 -> hypothesis; __PROVED__
事実1: この読字速度は呼ばわる
事実2: もし仮にとある物は辛くないなら「生存出来るし加えておどろおどろしい」ということは間違いである
事実3: 仮にこの準々決勝が薄明るくないとすればこの皿饂飩は力無い
事実4: もしも「とあるものは強行だがでかくない」ということは嘘だとすれば辛くない
事実5: この渡船施設は呼ばわる
事実6: もし仮になにかはクラブアリストだということはない一方で死に掛かるならそれは呼ばわる
事実7: 仮に「あるものは死に掛かるしクラブアリストだ」ということは成り立たないなら呼ばわるということはない
事実8: 「もし「なんらかのものは薄明るいがしかしそれは写真集でない」ということは成り立たないとするとそれは薄明るくない」ということは事実だ
事実9: 仮に「何らかの物は生存出来るしおどろおどろしい」ということは誤りだとすると死に掛からない
事実10: 仮になにがしかの物は潜行するとしたら「それは強行だけれどでかくない」ということは成り立たない
事実11: もし何らかのものが死に掛かるとすると呼ばわる
事実12: この準々決勝は早し
事実13: もしもなにがしかの物は早しなら「それは薄明るいが写真集でない」ということは事実と異なる
事実14: この代理者は呼ばわる
事実15: もしもこの皿饂飩が力無いとすればあのエキサイトは力無い
事実16: もしこのエキサイトが力無いとすればそれは潜行する

仮説: この代理者は呼ばわる
1. 事実14から、仮説が導かれる

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