その同一銘柄株式等は鼓吹する
fact1: その同一銘柄株式等は横溢しない fact2: もしもあの同上書が横溢するがそれが扱い難くないならあのポッケットは横溢しない fact3: あのポッケットが鼓吹しなくて横溢するということはないならその同一銘柄株式等は鼓吹しない fact4: あのポッケットは文机であるがしかし鼓吹するということはない fact5: もし仮にその同一銘柄株式等は横溢しないとすると「それは鼓吹する」ということは成り立つ
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
その同一銘柄株式等は鼓吹しない
fact6 -> int1: あのポッケットは鼓吹しない;
$facts$ = fact1: その同一銘柄株式等は横溢しない fact2: もしもあの同上書が横溢するがそれが扱い難くないならあのポッケットは横溢しない fact3: あのポッケットが鼓吹しなくて横溢するということはないならその同一銘柄株式等は鼓吹しない fact4: あのポッケットは文机であるがしかし鼓吹するということはない fact5: もし仮にその同一銘柄株式等は横溢しないとすると「それは鼓吹する」ということは成り立つ ; $hypothesis$ = その同一銘柄株式等は鼓吹する ; $proof$ = 
fact5 & fact1 -> hypothesis; __PROVED__
事実1: その同一銘柄株式等は横溢しない
事実2: もしもあの同上書が横溢するがそれが扱い難くないならあのポッケットは横溢しない
事実3: あのポッケットが鼓吹しなくて横溢するということはないならその同一銘柄株式等は鼓吹しない
事実4: あのポッケットは文机であるがしかし鼓吹するということはない
事実5: もし仮にその同一銘柄株式等は横溢しないとすると「それは鼓吹する」ということは成り立つ

仮説: その同一銘柄株式等は鼓吹する
1. 事実5と事実1から、仮説が導かれる

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