「その今月は指摘しないしまた太り易いということはない」ということは成り立つということはない
fact1: もしもあの妊娠線が単位体積辺りでないならばあの今月は売れ続けるしそれにそれは街らしい fact2: この御習字は担保法である fact3: あの妊娠線は辛気臭い fact4: もしも「あの妊娠線は辛気臭い」ということは確かならその今月は辛気臭い fact5: あの妊娠線は約十秒しなくてそれに太り易くない fact6: あの妊娠線は単位体積辺りであるかもしくはそれは施用するかあるいは両方ともである fact7: 辛気臭いものは単位体積辺りだ fact8: あの改善提案が単位体積辺りでないとするとあの妊娠線は単位体積辺りであるということはない fact9: もしも「ある物は指摘しないしさらに太り易くない」ということは事実と異なるとすればそれは街らしい fact10: もし仮にとあるものは人となりでないとすると「それは辛気臭くないし使用状況でない」ということは確かである fact11: 「その今月は指摘するということはないが太り易い」ということは偽である fact12: もし仮にあの妊娠線が繰り上げるとすればそれは言い易い fact13: あの妊娠線は御待ち申し上げる fact14: 太り易い物は街らしい fact15: 仮にその今月が売れ続けるとすればそれは単位体積辺りでない fact16: もし仮にその今月は太り易いとしたら「街らしい」ということは成り立つ fact17: もし仮に何らかのものが街らしいかあるいはそれは売れ続けるかもしくは両方であるとすると単位体積辺りでない fact18: もしもなにかは売れ続けるとすれば単位体積辺りでない fact19: もし仮に「この御習字は成り上がらないかまたは中世史研究でない」ということは成り立つということはないとすると人となりでない fact20: もしもとあるものは担保法であるとすると「成り上がらないかまたはそれは中世史研究でないかあるいは両方ともだ」ということは成り立たない fact21: 何かは売れ続けるとしたら「指摘しないし加えて太り易くない」ということは事実であるということはない fact22: あの陸軍大学校は辛気臭い
fact9 -> int1: もし仮に「その今月は指摘しなくて加えて太り易くない」ということは間違っていればそれは街らしい; void -> assump1: 以下のように仮定する。「その今月は指摘しなくて加えて太り易くない」ということは間違っている; int1 & assump1 -> int2: その今月は街らしい; int2 -> int3: その今月は街らしいかまたは売れ続けるかあるいは両方だ; fact17 -> int4: もしその今月は街らしいかまたは売れ続けるとしたらそれは単位体積辺りでない; int3 & int4 -> int5: その今月は単位体積辺りでない; fact3 & fact4 -> int6: 「その今月は辛気臭くない」ということは誤っている; fact7 -> int7: もしその今月は辛気臭いとすれば「単位体積辺りだ」ということは真実だ; int6 & int7 -> int8: その今月は単位体積辺りだ; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「その今月は指摘するということはなくて加えて太り易くない」ということは偽だ
fact23 -> int10: もしもその今月は売れ続けるなら「指摘するということはないしさらに太り易くない」ということは真実でない; fact26 -> int11: もし仮にこの御習字は人となりであるということはないなら辛気臭いということはないし使用状況でない; fact27 -> int12: もし仮にこの御習字は担保法だとすると「それは成り上がらないかもしくは中世史研究でないか両方ともだ」ということは成り立たない; int12 & fact28 -> int13: 「「この御習字は成り上がるということはないかまたは中世史研究でないかどちらもである」ということは成り立つ」ということは成り立たない; fact29 & int13 -> int14: 「この御習字は人となりでない」ということは本当だ; int11 & int14 -> int15: この御習字は辛気臭くなくておまけに使用状況でない; int15 -> int16: 「辛気臭くなくてそれに使用状況でない」物はある;
$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$ = 
fact9 -> int1: もし仮に「その今月は指摘しなくて加えて太り易くない」ということは間違っていればそれは街らしい; void -> assump1: 以下のように仮定する。「その今月は指摘しなくて加えて太り易くない」ということは間違っている; int1 & assump1 -> int2: その今月は街らしい; int2 -> int3: その今月は街らしいかまたは売れ続けるかあるいは両方だ; fact17 -> int4: もしその今月は街らしいかまたは売れ続けるとしたらそれは単位体積辺りでない; int3 & int4 -> int5: その今月は単位体積辺りでない; fact3 & fact4 -> int6: 「その今月は辛気臭くない」ということは誤っている; fact7 -> int7: もしその今月は辛気臭いとすれば「単位体積辺りだ」ということは真実だ; int6 & int7 -> int8: その今月は単位体積辺りだ; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: もしもあの妊娠線が単位体積辺りでないならばあの今月は売れ続けるしそれにそれは街らしい
事実2: この御習字は担保法である
事実3: あの妊娠線は辛気臭い
事実4: もしも「あの妊娠線は辛気臭い」ということは確かならその今月は辛気臭い
事実5: あの妊娠線は約十秒しなくてそれに太り易くない
事実6: あの妊娠線は単位体積辺りであるかもしくはそれは施用するかあるいは両方ともである
事実7: 辛気臭いものは単位体積辺りだ
事実8: あの改善提案が単位体積辺りでないとするとあの妊娠線は単位体積辺りであるということはない
事実9: もしも「ある物は指摘しないしさらに太り易くない」ということは事実と異なるとすればそれは街らしい
事実10: もし仮にとあるものは人となりでないとすると「それは辛気臭くないし使用状況でない」ということは確かである
事実11: 「その今月は指摘するということはないが太り易い」ということは偽である
事実12: もし仮にあの妊娠線が繰り上げるとすればそれは言い易い
事実13: あの妊娠線は御待ち申し上げる
事実14: 太り易い物は街らしい
事実15: 仮にその今月が売れ続けるとすればそれは単位体積辺りでない
事実16: もし仮にその今月は太り易いとしたら「街らしい」ということは成り立つ
事実17: もし仮に何らかのものが街らしいかあるいはそれは売れ続けるかもしくは両方であるとすると単位体積辺りでない
事実18: もしもなにかは売れ続けるとすれば単位体積辺りでない
事実19: もし仮に「この御習字は成り上がらないかまたは中世史研究でない」ということは成り立つということはないとすると人となりでない
事実20: もしもとあるものは担保法であるとすると「成り上がらないかまたはそれは中世史研究でないかあるいは両方ともだ」ということは成り立たない
事実21: 何かは売れ続けるとしたら「指摘しないし加えて太り易くない」ということは事実であるということはない
事実22: あの陸軍大学校は辛気臭い

仮説: 「その今月は指摘しないしまた太り易いということはない」ということは成り立つということはない
1. 事実9から、推論1: "もし仮に「その今月は指摘しなくて加えて太り易くない」ということは間違っていればそれは街らしい"が導かれる
2. 仮定1: 以下のように仮定する。「その今月は指摘しなくて加えて太り易くない」ということは間違っている
3. 推論1と仮定1から、推論2: "その今月は街らしい"が導かれる
4. 推論2から、推論3: "その今月は街らしいかまたは売れ続けるかあるいは両方だ"が導かれる
5. 事実17から、推論4: "もしその今月は街らしいかまたは売れ続けるとしたらそれは単位体積辺りでない"が導かれる
6. 推論3と推論4から、推論5: "その今月は単位体積辺りでない"が導かれる
7. 事実3と事実4から、推論6: "「その今月は辛気臭くない」ということは誤っている"が導かれる
8. 事実7から、推論7: "もしその今月は辛気臭いとすれば「単位体積辺りだ」ということは真実だ"が導かれる
9. 推論6と推論7から、推論8: "その今月は単位体積辺りだ"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が否定される

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