この小大進殿はごり押しでない
fact1: もしもあの荒れ放題が使い辛くないしその上古臭くないとすればその支払い条件は使い辛い fact2: もしもあの立腹がしっとりするとするとこの小大進殿はごり押しだ fact3: 与え難いものはごり押しであるということはない fact4: あの四肢・体幹はしっとりする fact5: なにがしかのものがしっとりしないとしたらそれはごり押しでない fact6: 仮に「あの立腹はごり押しでないししかもしっとりするということはない」ということは確かだとするとこの小大進殿はごり押しであるということはない fact7: もし「「使い辛い」ということは成り立つ」ものがあるとするとこの人相書きは改悛しない fact8: あの評定所は止む無くて御優しい fact9: 「この口先はごり押しである」ということは正しい fact10: もしも「止む無い」ものがあるとすればこの同門録は小法師だし書き易い fact11: もしもあのブレイクダウンが消し飛ぶならあの荒れ放題は使い辛くないしかつ古臭くない fact12: 仮にこの人相書きが土壌汚染でなくてそれが烏猫でないとすればそれは侘しくない fact13: 仮にそのバッファーがしっとりするとすればあの立腹はしっとりしない fact14: この人相書きは土壌汚染でないしさらにそれは烏猫でない fact15: この小大進殿はしっとりする fact16: 仮に「書き易い」物があるとしたらそのバッファーはしっとりするかもしくはそれは書き易いか両方ともである fact17: もしとある物が改悛しなくてそれが侘しくないとすればあの立腹は与え難い fact18: あの立腹はしっとりする fact19: あのブレイクダウンは消し飛ぶしそれは探し易い
fact2 & fact18 -> hypothesis;
この小大進殿はごり押しでない
fact28 -> int1: もし仮にあの立腹が与え難いならそれはごり押しでない; fact20 -> int2: あのブレイクダウンは消し飛ぶ; fact27 & int2 -> int3: あの荒れ放題は使い辛くなくて古臭くない; fact30 & int3 -> int4: その支払い条件は使い辛い; int4 -> int5: とあるものは使い辛い; int5 & fact25 -> int6: この人相書きは改悛しない; fact31 & fact29 -> int7: 「この人相書きは侘しくない」ということは成り立つ; int6 & int7 -> int8: この人相書きは改悛しなくてその上それは侘しいということはない; int8 -> int9: 何らかの物は改悛しなくてそれに侘しくない; int9 & fact23 -> int10: あの立腹は与え難い; int1 & int10 -> int11: 「あの立腹はごり押しでない」ということは真実である; fact26 -> int12: あの評定所は止む無い; int12 -> int13: なにがしかの物は止む無い; int13 & fact24 -> int14: この同門録は小法師であるししかも書き易い; int14 -> int15: この同門録は書き易い; int15 -> int16: とあるものは書き易い; int16 & fact21 -> int17: そのバッファーはしっとりするかそれは書き易いかまたはどちらもである;
$facts$ = fact1: もしもあの荒れ放題が使い辛くないしその上古臭くないとすればその支払い条件は使い辛い fact2: もしもあの立腹がしっとりするとするとこの小大進殿はごり押しだ fact3: 与え難いものはごり押しであるということはない fact4: あの四肢・体幹はしっとりする fact5: なにがしかのものがしっとりしないとしたらそれはごり押しでない fact6: 仮に「あの立腹はごり押しでないししかもしっとりするということはない」ということは確かだとするとこの小大進殿はごり押しであるということはない fact7: もし「「使い辛い」ということは成り立つ」ものがあるとするとこの人相書きは改悛しない fact8: あの評定所は止む無くて御優しい fact9: 「この口先はごり押しである」ということは正しい fact10: もしも「止む無い」ものがあるとすればこの同門録は小法師だし書き易い fact11: もしもあのブレイクダウンが消し飛ぶならあの荒れ放題は使い辛くないしかつ古臭くない fact12: 仮にこの人相書きが土壌汚染でなくてそれが烏猫でないとすればそれは侘しくない fact13: 仮にそのバッファーがしっとりするとすればあの立腹はしっとりしない fact14: この人相書きは土壌汚染でないしさらにそれは烏猫でない fact15: この小大進殿はしっとりする fact16: 仮に「書き易い」物があるとしたらそのバッファーはしっとりするかもしくはそれは書き易いか両方ともである fact17: もしとある物が改悛しなくてそれが侘しくないとすればあの立腹は与え難い fact18: あの立腹はしっとりする fact19: あのブレイクダウンは消し飛ぶしそれは探し易い ; $hypothesis$ = この小大進殿はごり押しでない ; $proof$ = 
fact2 & fact18 -> hypothesis; __DISPROVED__
事実1: もしもあの荒れ放題が使い辛くないしその上古臭くないとすればその支払い条件は使い辛い
事実2: もしもあの立腹がしっとりするとするとこの小大進殿はごり押しだ
事実3: 与え難いものはごり押しであるということはない
事実4: あの四肢・体幹はしっとりする
事実5: なにがしかのものがしっとりしないとしたらそれはごり押しでない
事実6: 仮に「あの立腹はごり押しでないししかもしっとりするということはない」ということは確かだとするとこの小大進殿はごり押しであるということはない
事実7: もし「「使い辛い」ということは成り立つ」ものがあるとするとこの人相書きは改悛しない
事実8: あの評定所は止む無くて御優しい
事実9: 「この口先はごり押しである」ということは正しい
事実10: もしも「止む無い」ものがあるとすればこの同門録は小法師だし書き易い
事実11: もしもあのブレイクダウンが消し飛ぶならあの荒れ放題は使い辛くないしかつ古臭くない
事実12: 仮にこの人相書きが土壌汚染でなくてそれが烏猫でないとすればそれは侘しくない
事実13: 仮にそのバッファーがしっとりするとすればあの立腹はしっとりしない
事実14: この人相書きは土壌汚染でないしさらにそれは烏猫でない
事実15: この小大進殿はしっとりする
事実16: 仮に「書き易い」物があるとしたらそのバッファーはしっとりするかもしくはそれは書き易いか両方ともである
事実17: もしとある物が改悛しなくてそれが侘しくないとすればあの立腹は与え難い
事実18: あの立腹はしっとりする
事実19: あのブレイクダウンは消し飛ぶしそれは探し易い

仮説: この小大進殿はごり押しでない
1. 事実2と事実18から、仮説が否定される

よって、仮説が否定されました。