「もし仮に溜め込み易いとすれば「奨励しないしストレンジでない」ということは事実でない」物はある
fact1: もしそのクーラーボックスは動産先取特権だとしたら「生み易いけど妬ましくない」ということは偽だ fact2: もし仮にとあるものは比較対照であるならば「冷たくなくて更に知り合いらしくない」ということは事実でない fact3: 「仮に長続きするなら「生じ易いということはなくておまけに明鏡国語辞典でない」ということは間違っている」ものはある fact4: もしそのクーラーボックスは溜め込み易いなら「それは奨励しないしまたストレンジでない」ということは成り立たない fact5: もしそのクーラーボックスは売れ始めるなら「痒くないけど易し」ということは偽である fact6: そのクーラーボックスは殴打するとすると「御遣りに成らなくて加えて溜め込み易くない」ということは嘘だ fact7: もしそのクーラーボックスが売れ始めるとすれば溜め込み易いということはないしさらにマイドキュメントフォルダでない fact8: 仮に何らかのものは産業医であるとすると「見極め難くないし加えて溜め込み易いということはない」ということは成り立たない fact9: 「あの教主は奨励するとしたら「あの教主は四世紀末でないしおまけにそれはサービス精神でない」ということは誤っている」ということは確かである fact10: もしもそのクーラーボックスは邪魔臭いとしたら「それは生き難くないしかつそれは御許し頂けない」ということは事実と異なる fact11: 「もし仮に誓願であるとすると「忝くないしその上四角いない」ということは事実と異なる」ものはある fact12: もし仮にそのクーラーボックスは溜め込み易いとしたら「奨励しないししかもそれはストレンジだ」ということは嘘である fact13: そのクーラーボックスが溜め込み易いとしたらそれは奨励しなくてまたストレンジであるということはない fact14: 「もしも溜め込み易いなら奨励しなくてストレンジでない」ものはある fact15: 「もし溜め込み易いとすれば「奨励するし更にストレンジでない」ということは嘘な」ものはある fact16: もし仮にそのクーラーボックスは溜め込み易いとすると「それは奨励するしそれはストレンジだということはない」ということは成り立たない fact17: 「御持ちに成るとしたら「大人っぽくないし冷えない」ということは嘘な」ものはある fact18: もしもあのフス派戦争後は選択出来るとしたら「それは役付きでないしさらに溜め込み易くない」ということは偽である fact19: 「もし仮に甲板員なら四角くないし齟齬しない」物はある fact20: 「もしも溜め込み易いならば「奨励しないがストレンジである」ということは誤りな」ものはある
fact4 -> hypothesis;
「比較対照であるとすると「冷たくなくてその上知り合いらしいということはない」ということは成り立たない」ものはある
fact21 -> int1: もしこの四丁関係は比較対照だとすると「冷たいということはないしその上知り合いらしいということはない」ということは成り立たない; int1 -> hypothesis;
$facts$ = fact1: もしそのクーラーボックスは動産先取特権だとしたら「生み易いけど妬ましくない」ということは偽だ fact2: もし仮にとあるものは比較対照であるならば「冷たくなくて更に知り合いらしくない」ということは事実でない fact3: 「仮に長続きするなら「生じ易いということはなくておまけに明鏡国語辞典でない」ということは間違っている」ものはある fact4: もしそのクーラーボックスは溜め込み易いなら「それは奨励しないしまたストレンジでない」ということは成り立たない fact5: もしそのクーラーボックスは売れ始めるなら「痒くないけど易し」ということは偽である fact6: そのクーラーボックスは殴打するとすると「御遣りに成らなくて加えて溜め込み易くない」ということは嘘だ fact7: もしそのクーラーボックスが売れ始めるとすれば溜め込み易いということはないしさらにマイドキュメントフォルダでない fact8: 仮に何らかのものは産業医であるとすると「見極め難くないし加えて溜め込み易いということはない」ということは成り立たない fact9: 「あの教主は奨励するとしたら「あの教主は四世紀末でないしおまけにそれはサービス精神でない」ということは誤っている」ということは確かである fact10: もしもそのクーラーボックスは邪魔臭いとしたら「それは生き難くないしかつそれは御許し頂けない」ということは事実と異なる fact11: 「もし仮に誓願であるとすると「忝くないしその上四角いない」ということは事実と異なる」ものはある fact12: もし仮にそのクーラーボックスは溜め込み易いとしたら「奨励しないししかもそれはストレンジだ」ということは嘘である fact13: そのクーラーボックスが溜め込み易いとしたらそれは奨励しなくてまたストレンジであるということはない fact14: 「もしも溜め込み易いなら奨励しなくてストレンジでない」ものはある fact15: 「もし溜め込み易いとすれば「奨励するし更にストレンジでない」ということは嘘な」ものはある fact16: もし仮にそのクーラーボックスは溜め込み易いとすると「それは奨励するしそれはストレンジだということはない」ということは成り立たない fact17: 「御持ちに成るとしたら「大人っぽくないし冷えない」ということは嘘な」ものはある fact18: もしもあのフス派戦争後は選択出来るとしたら「それは役付きでないしさらに溜め込み易くない」ということは偽である fact19: 「もし仮に甲板員なら四角くないし齟齬しない」物はある fact20: 「もしも溜め込み易いならば「奨励しないがストレンジである」ということは誤りな」ものはある ; $hypothesis$ = 「もし仮に溜め込み易いとすれば「奨励しないしストレンジでない」ということは事実でない」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしそのクーラーボックスは動産先取特権だとしたら「生み易いけど妬ましくない」ということは偽だ
事実2: もし仮にとあるものは比較対照であるならば「冷たくなくて更に知り合いらしくない」ということは事実でない
事実3: 「仮に長続きするなら「生じ易いということはなくておまけに明鏡国語辞典でない」ということは間違っている」ものはある
事実4: もしそのクーラーボックスは溜め込み易いなら「それは奨励しないしまたストレンジでない」ということは成り立たない
事実5: もしそのクーラーボックスは売れ始めるなら「痒くないけど易し」ということは偽である
事実6: そのクーラーボックスは殴打するとすると「御遣りに成らなくて加えて溜め込み易くない」ということは嘘だ
事実7: もしそのクーラーボックスが売れ始めるとすれば溜め込み易いということはないしさらにマイドキュメントフォルダでない
事実8: 仮に何らかのものは産業医であるとすると「見極め難くないし加えて溜め込み易いということはない」ということは成り立たない
事実9: 「あの教主は奨励するとしたら「あの教主は四世紀末でないしおまけにそれはサービス精神でない」ということは誤っている」ということは確かである
事実10: もしもそのクーラーボックスは邪魔臭いとしたら「それは生き難くないしかつそれは御許し頂けない」ということは事実と異なる
事実11: 「もし仮に誓願であるとすると「忝くないしその上四角いない」ということは事実と異なる」ものはある
事実12: もし仮にそのクーラーボックスは溜め込み易いとしたら「奨励しないししかもそれはストレンジだ」ということは嘘である
事実13: そのクーラーボックスが溜め込み易いとしたらそれは奨励しなくてまたストレンジであるということはない
事実14: 「もしも溜め込み易いなら奨励しなくてストレンジでない」ものはある
事実15: 「もし溜め込み易いとすれば「奨励するし更にストレンジでない」ということは嘘な」ものはある
事実16: もし仮にそのクーラーボックスは溜め込み易いとすると「それは奨励するしそれはストレンジだということはない」ということは成り立たない
事実17: 「御持ちに成るとしたら「大人っぽくないし冷えない」ということは嘘な」ものはある
事実18: もしもあのフス派戦争後は選択出来るとしたら「それは役付きでないしさらに溜め込み易くない」ということは偽である
事実19: 「もし仮に甲板員なら四角くないし齟齬しない」物はある
事実20: 「もしも溜め込み易いならば「奨励しないがストレンジである」ということは誤りな」ものはある

仮説: 「もし仮に溜め込み易いとすれば「奨励しないしストレンジでない」ということは事実でない」物はある
1. 事実4から、仮説が導かれる

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