「仮に奴さんでないとしたら「仄聞するけど第一幕でない」ということは成り立つということはない」物はある
fact1: なにかは法案だということはないなら「仄聞するけれど素晴らしくない」ということは成り立たない fact2: 「太くないとしたら「出願状況だしその上御寂しい」ということは偽な」ものはある fact3: 「もしテクノクラートでないとしたら「出会い易いし北進するということはない」ということは偽な」ものはある fact4: もしもそのクレジット・サラ金業者は奴さんだとすれば「それは仄聞するし第一幕でない」ということは成り立たない fact5: もしもそのクレジット・サラ金業者は奴さんでないなら「仄聞する一方で第一幕でない」ということは事実と異なる fact6: 「もし理論化しないならば「加温するがしかし受け入れ難いということはない」ということは確かでない」ものはある fact7: そのクレジット・サラ金業者は奴さんでないなら「それが書き出しだし押さえ難い」ということは事実と異なる
fact5 -> hypothesis;
もし仮にそのクレジット・サラ金業者は法案でないとしたら「仄聞するしおまけにそれは素晴らしくない」ということは誤りだ
fact8 -> hypothesis;
$facts$ = fact1: なにかは法案だということはないなら「仄聞するけれど素晴らしくない」ということは成り立たない fact2: 「太くないとしたら「出願状況だしその上御寂しい」ということは偽な」ものはある fact3: 「もしテクノクラートでないとしたら「出会い易いし北進するということはない」ということは偽な」ものはある fact4: もしもそのクレジット・サラ金業者は奴さんだとすれば「それは仄聞するし第一幕でない」ということは成り立たない fact5: もしもそのクレジット・サラ金業者は奴さんでないなら「仄聞する一方で第一幕でない」ということは事実と異なる fact6: 「もし理論化しないならば「加温するがしかし受け入れ難いということはない」ということは確かでない」ものはある fact7: そのクレジット・サラ金業者は奴さんでないなら「それが書き出しだし押さえ難い」ということは事実と異なる ; $hypothesis$ = 「仮に奴さんでないとしたら「仄聞するけど第一幕でない」ということは成り立つということはない」物はある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: なにかは法案だということはないなら「仄聞するけれど素晴らしくない」ということは成り立たない
事実2: 「太くないとしたら「出願状況だしその上御寂しい」ということは偽な」ものはある
事実3: 「もしテクノクラートでないとしたら「出会い易いし北進するということはない」ということは偽な」ものはある
事実4: もしもそのクレジット・サラ金業者は奴さんだとすれば「それは仄聞するし第一幕でない」ということは成り立たない
事実5: もしもそのクレジット・サラ金業者は奴さんでないなら「仄聞する一方で第一幕でない」ということは事実と異なる
事実6: 「もし理論化しないならば「加温するがしかし受け入れ難いということはない」ということは確かでない」ものはある
事実7: そのクレジット・サラ金業者は奴さんでないなら「それが書き出しだし押さえ難い」ということは事実と異なる

仮説: 「仮に奴さんでないとしたら「仄聞するけど第一幕でない」ということは成り立つということはない」物はある
1. 事実5から、仮説が導かれる

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