そのニョッキは押せない
fact1: 仮になにがしかの物は個人生活だとすれば「標準搭載しなくて加えて付け難くない」ということは本当であるということはない fact2: そのニョッキは留まり続けるということはない fact3: その一万年前は押せない fact4: どれもこれもは信じ続けるということはないしさらに考え方・感じ方でない fact5: もしこの個性化は手出しするということはないとすると「「あのブルジョア社会は個人生活であるし付け難い」ということは本当であるということはない」ということは成り立つ fact6: 仮に何かは考え方・感じ方でないならば「解し難くて更にそれはつべたい」ということは確かでない fact7: 付け難くない物は標準搭載するしまた押せる fact8: もし「ある物は解し難いしつべたい」ということは成り立たないとしたら手出ししない fact9: その依頼人本人は押せない fact10: そのニョッキは押せない
fact10 -> hypothesis;
fact10 -> hypothesis;
このＩＲは押せない
fact11 -> int1: そのニョッキは個人生活であるとしたら「標準搭載しないしさらにそれは付け難いということはない」ということは正しくない;
$facts$ = fact1: 仮になにがしかの物は個人生活だとすれば「標準搭載しなくて加えて付け難くない」ということは本当であるということはない fact2: そのニョッキは留まり続けるということはない fact3: その一万年前は押せない fact4: どれもこれもは信じ続けるということはないしさらに考え方・感じ方でない fact5: もしこの個性化は手出しするということはないとすると「「あのブルジョア社会は個人生活であるし付け難い」ということは本当であるということはない」ということは成り立つ fact6: 仮に何かは考え方・感じ方でないならば「解し難くて更にそれはつべたい」ということは確かでない fact7: 付け難くない物は標準搭載するしまた押せる fact8: もし「ある物は解し難いしつべたい」ということは成り立たないとしたら手出ししない fact9: その依頼人本人は押せない fact10: そのニョッキは押せない ; $hypothesis$ = そのニョッキは押せない ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: 仮になにがしかの物は個人生活だとすれば「標準搭載しなくて加えて付け難くない」ということは本当であるということはない
事実2: そのニョッキは留まり続けるということはない
事実3: その一万年前は押せない
事実4: どれもこれもは信じ続けるということはないしさらに考え方・感じ方でない
事実5: もしこの個性化は手出しするということはないとすると「「あのブルジョア社会は個人生活であるし付け難い」ということは本当であるということはない」ということは成り立つ
事実6: 仮に何かは考え方・感じ方でないならば「解し難くて更にそれはつべたい」ということは確かでない
事実7: 付け難くない物は標準搭載するしまた押せる
事実8: もし「ある物は解し難いしつべたい」ということは成り立たないとしたら手出ししない
事実9: その依頼人本人は押せない
事実10: そのニョッキは押せない

仮説: そのニョッキは押せない
1. 事実10から、仮説が導かれる

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