「もし仮に移行し易くないしさらに只今ーでないとしたら前髪な」ものはある
fact1: 移行し易くない物は只今ーでないならば「前髪である」ということは真実だ fact2: 仮にあの賞品が移行し易いけど只今ーでないならそれは前髪である fact3: 「変うということはないし更に大人しないとすると横材である」物はある fact4: もしあの賞品がすばしっこいけど合い難くないなら只今ーである fact5: 「もし移行し易いということはないしまた只今ーだとすると前髪である」ものはある fact6: なにかは踏ん反り返らないしそれが笑えないなら文化的実践である
fact1 -> int1: もしもあの賞品は移行し易くないし只今ーであるということはないとしたらそれは前髪だ; int1 -> hypothesis;
「仮に踏ん反り返らなくて笑えないとしたら文化的実践な」物はある
fact7 -> int2: もしあの県民が踏ん反り返らなくて更に笑えないなら文化的実践だ; int2 -> hypothesis;
$facts$ = fact1: 移行し易くない物は只今ーでないならば「前髪である」ということは真実だ fact2: 仮にあの賞品が移行し易いけど只今ーでないならそれは前髪である fact3: 「変うということはないし更に大人しないとすると横材である」物はある fact4: もしあの賞品がすばしっこいけど合い難くないなら只今ーである fact5: 「もし移行し易いということはないしまた只今ーだとすると前髪である」ものはある fact6: なにかは踏ん反り返らないしそれが笑えないなら文化的実践である ; $hypothesis$ = 「もし仮に移行し易くないしさらに只今ーでないとしたら前髪な」ものはある ; $proof$ = 
fact1 -> int1: もしもあの賞品は移行し易くないし只今ーであるということはないとしたらそれは前髪だ; int1 -> hypothesis; __PROVED__
事実1: 移行し易くない物は只今ーでないならば「前髪である」ということは真実だ
事実2: 仮にあの賞品が移行し易いけど只今ーでないならそれは前髪である
事実3: 「変うということはないし更に大人しないとすると横材である」物はある
事実4: もしあの賞品がすばしっこいけど合い難くないなら只今ーである
事実5: 「もし移行し易いということはないしまた只今ーだとすると前髪である」ものはある
事実6: なにかは踏ん反り返らないしそれが笑えないなら文化的実践である

仮説: 「もし仮に移行し易くないしさらに只今ーでないとしたら前髪な」ものはある
1. 事実1から、推論1: "もしもあの賞品は移行し易くないし只今ーであるということはないとしたらそれは前髪だ"が導かれる
2. 推論1から、仮説が導かれる

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