その一君は史上最初だ
fact1: 「その一君は手直しする」ということは成り立つ fact2: もしもとある物が通し終えるとすると史上最初でないしさらにどうしても欲しくない fact3: もしもそのテロメアが自賛しないならそれは拍出するか通し終えるかあるいはどちらもだ fact4: そのジレット製剃刀が通し終えるとするとその一君は通し終える fact5: もしなにかは騒ぎ始めないなら自賛しない fact6: あの異端児は史上最初である fact7: もし仮にそのテロメアは華僑だけれど入り難くないならば騒ぎ始めない fact8: 「あの闇金融対策法は史上最初だ」ということは本当である fact9: あの起算日は史上最初である fact10: その一君は史上最初だ fact11: その一君はふざけ合う fact12: もし仮にそのジレット製剃刀は自賛するとしたら「その一君は通し終えるけれど拍出しない」ということは誤っている fact13: その一君は修理中である fact14: もし仮に「その一君は通し終えるが拍出しない」ということは誤りであるとするとあの朝鮮関係は通し終えない fact15: もし仮に何かは通し終えないとすると「それは史上最初であるしそれはどうしても欲しい」ということは成り立つ fact16: 「その訳本は史上最初だ」ということは成り立つ
fact10 -> hypothesis;
fact10 -> hypothesis;
あの朝鮮関係は史上最初である
fact19 -> int1: もし仮にあの朝鮮関係は通し終えないとすれば「それは史上最初であるしまたそれはどうしても欲しい」ということは真実だ;
$facts$ = fact1: 「その一君は手直しする」ということは成り立つ fact2: もしもとある物が通し終えるとすると史上最初でないしさらにどうしても欲しくない fact3: もしもそのテロメアが自賛しないならそれは拍出するか通し終えるかあるいはどちらもだ fact4: そのジレット製剃刀が通し終えるとするとその一君は通し終える fact5: もしなにかは騒ぎ始めないなら自賛しない fact6: あの異端児は史上最初である fact7: もし仮にそのテロメアは華僑だけれど入り難くないならば騒ぎ始めない fact8: 「あの闇金融対策法は史上最初だ」ということは本当である fact9: あの起算日は史上最初である fact10: その一君は史上最初だ fact11: その一君はふざけ合う fact12: もし仮にそのジレット製剃刀は自賛するとしたら「その一君は通し終えるけれど拍出しない」ということは誤っている fact13: その一君は修理中である fact14: もし仮に「その一君は通し終えるが拍出しない」ということは誤りであるとするとあの朝鮮関係は通し終えない fact15: もし仮に何かは通し終えないとすると「それは史上最初であるしそれはどうしても欲しい」ということは成り立つ fact16: 「その訳本は史上最初だ」ということは成り立つ ; $hypothesis$ = その一君は史上最初だ ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 「その一君は手直しする」ということは成り立つ
事実2: もしもとある物が通し終えるとすると史上最初でないしさらにどうしても欲しくない
事実3: もしもそのテロメアが自賛しないならそれは拍出するか通し終えるかあるいはどちらもだ
事実4: そのジレット製剃刀が通し終えるとするとその一君は通し終える
事実5: もしなにかは騒ぎ始めないなら自賛しない
事実6: あの異端児は史上最初である
事実7: もし仮にそのテロメアは華僑だけれど入り難くないならば騒ぎ始めない
事実8: 「あの闇金融対策法は史上最初だ」ということは本当である
事実9: あの起算日は史上最初である
事実10: その一君は史上最初だ
事実11: その一君はふざけ合う
事実12: もし仮にそのジレット製剃刀は自賛するとしたら「その一君は通し終えるけれど拍出しない」ということは誤っている
事実13: その一君は修理中である
事実14: もし仮に「その一君は通し終えるが拍出しない」ということは誤りであるとするとあの朝鮮関係は通し終えない
事実15: もし仮に何かは通し終えないとすると「それは史上最初であるしそれはどうしても欲しい」ということは成り立つ
事実16: 「その訳本は史上最初だ」ということは成り立つ

仮説: その一君は史上最初だ
1. 事実10から、仮説が導かれる

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