あの科学革命は小狡い
fact1: もし仮になにがしかの物は貶めないならば「それは小狡くなくてその上出難くない」ということは偽だ fact2: もし「あの試験紙は遣り始めるということはないかあるいは歩き難いということはないかもしくは両方である」ということは成り立たないとするとこの苺さんは歩き難くない fact3: この苺さんが出難くておまけに掛け難いとするとあの科学革命は小狡い fact4: 仮にあの試験紙が歩き難くないがしかし貶めるとするとあの科学革命は貶めない fact5: この苺さんは掛け難くない fact6: 「何らかの物は小狡いということはないししかも出難くない」ということは確かだということはないなら「それは出難い」ということは成り立つ fact7: もし仮にこの苺さんが出難い一方で掛け難くないならあの科学革命は小狡い fact8: この苺さんは出難いが掛け難くない fact9: もしもあの科学革命が出難い一方で小狡くないとすればあの苺さんは掛け難い fact10: 歩き難いということはないものは嫌らしいということはなくて更に恥ずかしない
fact7 & fact8 -> hypothesis;
fact7 & fact8 -> hypothesis;
あの科学革命は出難いけれど掃除し易くない
fact13 -> int1: もし「あの科学革命は小狡くなくて加えて出難いということはない」ということは誤っているとすると出難い; fact12 -> int2: あの科学革命は貶めないならば「小狡くなくて更にそれは出難くない」ということは成り立たない;
$facts$ = fact1: もし仮になにがしかの物は貶めないならば「それは小狡くなくてその上出難くない」ということは偽だ fact2: もし「あの試験紙は遣り始めるということはないかあるいは歩き難いということはないかもしくは両方である」ということは成り立たないとするとこの苺さんは歩き難くない fact3: この苺さんが出難くておまけに掛け難いとするとあの科学革命は小狡い fact4: 仮にあの試験紙が歩き難くないがしかし貶めるとするとあの科学革命は貶めない fact5: この苺さんは掛け難くない fact6: 「何らかの物は小狡いということはないししかも出難くない」ということは確かだということはないなら「それは出難い」ということは成り立つ fact7: もし仮にこの苺さんが出難い一方で掛け難くないならあの科学革命は小狡い fact8: この苺さんは出難いが掛け難くない fact9: もしもあの科学革命が出難い一方で小狡くないとすればあの苺さんは掛け難い fact10: 歩き難いということはないものは嫌らしいということはなくて更に恥ずかしない ; $hypothesis$ = あの科学革命は小狡い ; $proof$ = 
fact7 & fact8 -> hypothesis; __PROVED__
事実1: もし仮になにがしかの物は貶めないならば「それは小狡くなくてその上出難くない」ということは偽だ
事実2: もし「あの試験紙は遣り始めるということはないかあるいは歩き難いということはないかもしくは両方である」ということは成り立たないとするとこの苺さんは歩き難くない
事実3: この苺さんが出難くておまけに掛け難いとするとあの科学革命は小狡い
事実4: 仮にあの試験紙が歩き難くないがしかし貶めるとするとあの科学革命は貶めない
事実5: この苺さんは掛け難くない
事実6: 「何らかの物は小狡いということはないししかも出難くない」ということは確かだということはないなら「それは出難い」ということは成り立つ
事実7: もし仮にこの苺さんが出難い一方で掛け難くないならあの科学革命は小狡い
事実8: この苺さんは出難いが掛け難くない
事実9: もしもあの科学革命が出難い一方で小狡くないとすればあの苺さんは掛け難い
事実10: 歩き難いということはないものは嫌らしいということはなくて更に恥ずかしない

仮説: あの科学革命は小狡い
1. 事実7と事実8から、仮説が導かれる

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