このペン型注射器は著増する
fact1: もしもあるものが据え置かないとしたら一回転するし作業能率だ fact2: この根元近くは接着蛋白質であるということはない fact3: このペン型注射器は接着蛋白質だ fact4: 「その溝跡は接着蛋白質である」ということは成り立つ fact5: もしなにがしかの物が一回転するとすると混ぜ合わす一方で接着蛋白質でない fact6: もし仮にこのペン型注射器が接着蛋白質でないとしたらこの根元近くは著増する fact7: この根元近くは接着蛋白質でないなら「このペン型注射器は著増する」ということは誤りでない fact8: この根元近くが著増するが混ぜ合わさないならばこのペン型注射器は著増しない fact9: この成人女性は一回転する fact10: もしなにがしかのものが著増するとしたら接着蛋白質だ fact11: この成人女性は作業能率であるしそれは据え置く
fact7 & fact2 -> hypothesis;
fact7 & fact2 -> hypothesis;
このペン型注射器は著増しない
fact13 -> int1: もしもこのペン型注射器が一回転すれば混ぜ合わすし加えてそれは接着蛋白質でない; fact12 -> int2: 仮にこの根元近くが据え置かないとすればそれは一回転するししかも作業能率だ;
$facts$ = fact1: もしもあるものが据え置かないとしたら一回転するし作業能率だ fact2: この根元近くは接着蛋白質であるということはない fact3: このペン型注射器は接着蛋白質だ fact4: 「その溝跡は接着蛋白質である」ということは成り立つ fact5: もしなにがしかの物が一回転するとすると混ぜ合わす一方で接着蛋白質でない fact6: もし仮にこのペン型注射器が接着蛋白質でないとしたらこの根元近くは著増する fact7: この根元近くは接着蛋白質でないなら「このペン型注射器は著増する」ということは誤りでない fact8: この根元近くが著増するが混ぜ合わさないならばこのペン型注射器は著増しない fact9: この成人女性は一回転する fact10: もしなにがしかのものが著増するとしたら接着蛋白質だ fact11: この成人女性は作業能率であるしそれは据え置く ; $hypothesis$ = このペン型注射器は著増する ; $proof$ = 
fact7 & fact2 -> hypothesis; __PROVED__
事実1: もしもあるものが据え置かないとしたら一回転するし作業能率だ
事実2: この根元近くは接着蛋白質であるということはない
事実3: このペン型注射器は接着蛋白質だ
事実4: 「その溝跡は接着蛋白質である」ということは成り立つ
事実5: もしなにがしかの物が一回転するとすると混ぜ合わす一方で接着蛋白質でない
事実6: もし仮にこのペン型注射器が接着蛋白質でないとしたらこの根元近くは著増する
事実7: この根元近くは接着蛋白質でないなら「このペン型注射器は著増する」ということは誤りでない
事実8: この根元近くが著増するが混ぜ合わさないならばこのペン型注射器は著増しない
事実9: この成人女性は一回転する
事実10: もしなにがしかのものが著増するとしたら接着蛋白質だ
事実11: この成人女性は作業能率であるしそれは据え置く

仮説: このペン型注射器は著増する
1. 事実7と事実2から、仮説が導かれる

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