その南麓は苦悶する
fact1: もし「なんらかのものは苦しいかあるいは余らないかあるいはどちらもだ」ということは確かであるということはないならそれは公共化しない fact2: もしも「この長期持続は解任するということはない」ということは事実と異なるとしたらその南麓は主柱穴だ fact3: 「「あの筆致は生温いということはないかあるいは聞き得ないか両方ともである」ということは成り立つ」ということは成り立たない fact4: 仮にその南麓が生温いとしたらその地区予選は生温い fact5: もしも「その南麓はカールであるということはないかもしくは主柱穴でないかあるいは両方である」ということは成り立たないならばそれは売り難い fact6: もし仮に「「その南麓は生温いかまたは二高でないか両方である」ということは嘘だ」ということは正しいなら「それは苦悶する」ということは確かである fact7: 「「甚だしい」ということは誤りでない」物はある fact8: 「その南麓は生温くないかもしくは二高でないかまたはどちらもである」ということは間違っている fact9: 「仮に「シルバーシートでない」ものはあるとしたら「この長期持続は苦しいかもしくは余らない」ということは偽だ」ということは真実である fact10: 「余らない」ものはある fact11: もしその南麓が主柱穴であるならその地区予選は生温い fact12: 仮になんらかのものは公共化しないなら「解任しないしかつめぼしくない」ということは成り立たない fact13: もし仮に「甚だしい」物があるとしたらあの八分目はシルバーシートでないししかも偏り易くない fact14: 「その南麓は生温くないか二高でないかあるいは両方ともである」ということは事実と異なるとしたら苦悶する fact15: 「その南麓は雪深くないかもしくはごっつかないかあるいは両方ともである」ということは成り立たない fact16: 「「この太平洋問題調査会は環境自体でないかもしくは二高でないかあるいは両方である」ということは間違っていない」ということは誤りだ fact17: もしとあるものが苦悶しないとするとそれは生温いかあるいは主柱穴であるか両方だ fact18: めぼしいということはない主柱穴は苦悶しない fact19: もし仮になにがしかのものが苦しいとするとそれは解任する fact20: もし「余らない」物はあるとしたら「「あの八分目はめぼしくて加えて公共化する」ということは偽でない」ということは成り立つということはない fact21: その南麓は生温い fact22: もし仮に「その身分制社会は銃殺しないかあるいはそれは現われ易くない」ということは偽だとしたらそれは二高だ
fact14 & fact8 -> hypothesis;
fact14 & fact8 -> hypothesis;
その南麓は苦悶するということはない
fact27 -> int1: 仮にその南麓は主柱穴であるけれどめぼしくないならそれは苦悶しない; fact23 -> int2: もしもこの長期持続が苦しいとしたら解任する; fact26 & fact24 -> int3: 「あの八分目はめぼしくて更に公共化する」ということは成り立たない; int3 -> int4: 「「めぼしいし公共化する」ということは間違いである」ものはある;
$facts$ = fact1: もし「なんらかのものは苦しいかあるいは余らないかあるいはどちらもだ」ということは確かであるということはないならそれは公共化しない fact2: もしも「この長期持続は解任するということはない」ということは事実と異なるとしたらその南麓は主柱穴だ fact3: 「「あの筆致は生温いということはないかあるいは聞き得ないか両方ともである」ということは成り立つ」ということは成り立たない fact4: 仮にその南麓が生温いとしたらその地区予選は生温い fact5: もしも「その南麓はカールであるということはないかもしくは主柱穴でないかあるいは両方である」ということは成り立たないならばそれは売り難い fact6: もし仮に「「その南麓は生温いかまたは二高でないか両方である」ということは嘘だ」ということは正しいなら「それは苦悶する」ということは確かである fact7: 「「甚だしい」ということは誤りでない」物はある fact8: 「その南麓は生温くないかもしくは二高でないかまたはどちらもである」ということは間違っている fact9: 「仮に「シルバーシートでない」ものはあるとしたら「この長期持続は苦しいかもしくは余らない」ということは偽だ」ということは真実である fact10: 「余らない」ものはある fact11: もしその南麓が主柱穴であるならその地区予選は生温い fact12: 仮になんらかのものは公共化しないなら「解任しないしかつめぼしくない」ということは成り立たない fact13: もし仮に「甚だしい」物があるとしたらあの八分目はシルバーシートでないししかも偏り易くない fact14: 「その南麓は生温くないか二高でないかあるいは両方ともである」ということは事実と異なるとしたら苦悶する fact15: 「その南麓は雪深くないかもしくはごっつかないかあるいは両方ともである」ということは成り立たない fact16: 「「この太平洋問題調査会は環境自体でないかもしくは二高でないかあるいは両方である」ということは間違っていない」ということは誤りだ fact17: もしとあるものが苦悶しないとするとそれは生温いかあるいは主柱穴であるか両方だ fact18: めぼしいということはない主柱穴は苦悶しない fact19: もし仮になにがしかのものが苦しいとするとそれは解任する fact20: もし「余らない」物はあるとしたら「「あの八分目はめぼしくて加えて公共化する」ということは偽でない」ということは成り立つということはない fact21: その南麓は生温い fact22: もし仮に「その身分制社会は銃殺しないかあるいはそれは現われ易くない」ということは偽だとしたらそれは二高だ ; $hypothesis$ = その南麓は苦悶する ; $proof$ = 
fact14 & fact8 -> hypothesis; __PROVED__
事実1: もし「なんらかのものは苦しいかあるいは余らないかあるいはどちらもだ」ということは確かであるということはないならそれは公共化しない
事実2: もしも「この長期持続は解任するということはない」ということは事実と異なるとしたらその南麓は主柱穴だ
事実3: 「「あの筆致は生温いということはないかあるいは聞き得ないか両方ともである」ということは成り立つ」ということは成り立たない
事実4: 仮にその南麓が生温いとしたらその地区予選は生温い
事実5: もしも「その南麓はカールであるということはないかもしくは主柱穴でないかあるいは両方である」ということは成り立たないならばそれは売り難い
事実6: もし仮に「「その南麓は生温いかまたは二高でないか両方である」ということは嘘だ」ということは正しいなら「それは苦悶する」ということは確かである
事実7: 「「甚だしい」ということは誤りでない」物はある
事実8: 「その南麓は生温くないかもしくは二高でないかまたはどちらもである」ということは間違っている
事実9: 「仮に「シルバーシートでない」ものはあるとしたら「この長期持続は苦しいかもしくは余らない」ということは偽だ」ということは真実である
事実10: 「余らない」ものはある
事実11: もしその南麓が主柱穴であるならその地区予選は生温い
事実12: 仮になんらかのものは公共化しないなら「解任しないしかつめぼしくない」ということは成り立たない
事実13: もし仮に「甚だしい」物があるとしたらあの八分目はシルバーシートでないししかも偏り易くない
事実14: 「その南麓は生温くないか二高でないかあるいは両方ともである」ということは事実と異なるとしたら苦悶する
事実15: 「その南麓は雪深くないかもしくはごっつかないかあるいは両方ともである」ということは成り立たない
事実16: 「「この太平洋問題調査会は環境自体でないかもしくは二高でないかあるいは両方である」ということは間違っていない」ということは誤りだ
事実17: もしとあるものが苦悶しないとするとそれは生温いかあるいは主柱穴であるか両方だ
事実18: めぼしいということはない主柱穴は苦悶しない
事実19: もし仮になにがしかのものが苦しいとするとそれは解任する
事実20: もし「余らない」物はあるとしたら「「あの八分目はめぼしくて加えて公共化する」ということは偽でない」ということは成り立つということはない
事実21: その南麓は生温い
事実22: もし仮に「その身分制社会は銃殺しないかあるいはそれは現われ易くない」ということは偽だとしたらそれは二高だ

仮説: その南麓は苦悶する
1. 事実14と事実8から、仮説が導かれる

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