「この基礎付けは説き示す」ということは成り立つ
fact1: もし仮にとある物が七千人だとしたら身軽くない fact2: 仮にその災禍は緩くないとすると「そのヒット・ビットは該当しなくてしかも説き示さない」ということは真実だ fact3: もしもその大都市部が身軽いということはないならこの法益は身軽い fact4: あの貨幣市場は後ろめたい fact5: 仮に「あの貨幣市場は地域福祉である」ということは事実と異ならないとするとこの各設備は開き始めるけど渡欧しない fact6: もしこのストライプ柄が身軽いということはないとすればその自領は緩くて該当する fact7: もし身軽い物が緩いとするとこの基礎付けは説き示さない fact8: このストライプ柄は該当するしかつ緩い fact9: もしこのストライプ柄が説き示せばこの基礎付けは説き示す fact10: もしそのヒット・ビットが該当しなくてそれに説き示さないとするとそのメキシコ人は説き示す fact11: もし仮にこの法益が身軽いとすればあの災禍は緩くない fact12: もしもそのメキシコ人が説き示すとしたらこのストライプ柄は説き示す fact13: もしもあの貨幣市場が後ろめたいとするとそれは春らしくないし加えて親しくない fact14: 「なにがしかの物は説き示さないけれどそれは七千人である」ということは真実であるとしたら身軽いということはない fact15: そのメキシコ人は身軽い fact16: そのメキシコ人が身軽いとしたらこのストライプ柄は身軽い fact17: 親しくないものは地域福祉であるし藻類だ
fact8 -> int1: このストライプ柄は緩い; fact15 & fact16 -> int2: 「このストライプ柄は身軽い」ということは成り立つ; int1 & int2 -> int3: このストライプ柄は身軽くて更に緩い; int3 -> int4: 「身軽くて緩い」ものはある; int4 & fact7 -> hypothesis;
この基礎付けは説き示す
fact28 -> int5: 仮にその大都市部が七千人ならばそれは身軽くない; fact18 -> int6: もしあの貨幣市場が親しくないならばそれは地域福祉だし藻類だ; fact20 & fact25 -> int7: あの貨幣市場は春らしくないしその上それは親しくない; int7 -> int8: 「あの貨幣市場は親しくない」ということは真実である; int6 & int8 -> int9: あの貨幣市場が地域福祉だし藻類だ; int9 -> int10: あの貨幣市場は地域福祉だ; fact22 & int10 -> int11: この各設備は開き始めるがしかし渡欧しない; int11 -> int12: この各設備は開き始める; int12 -> int13: この各設備は開き始めるかあるいは引き当て計上するということはないかまたは両方だ; int13 -> int14: 「開き始めるかまたは引き当て計上しないか両方ともである」物はある;
$facts$ = fact1: もし仮にとある物が七千人だとしたら身軽くない fact2: 仮にその災禍は緩くないとすると「そのヒット・ビットは該当しなくてしかも説き示さない」ということは真実だ fact3: もしもその大都市部が身軽いということはないならこの法益は身軽い fact4: あの貨幣市場は後ろめたい fact5: 仮に「あの貨幣市場は地域福祉である」ということは事実と異ならないとするとこの各設備は開き始めるけど渡欧しない fact6: もしこのストライプ柄が身軽いということはないとすればその自領は緩くて該当する fact7: もし身軽い物が緩いとするとこの基礎付けは説き示さない fact8: このストライプ柄は該当するしかつ緩い fact9: もしこのストライプ柄が説き示せばこの基礎付けは説き示す fact10: もしそのヒット・ビットが該当しなくてそれに説き示さないとするとそのメキシコ人は説き示す fact11: もし仮にこの法益が身軽いとすればあの災禍は緩くない fact12: もしもそのメキシコ人が説き示すとしたらこのストライプ柄は説き示す fact13: もしもあの貨幣市場が後ろめたいとするとそれは春らしくないし加えて親しくない fact14: 「なにがしかの物は説き示さないけれどそれは七千人である」ということは真実であるとしたら身軽いということはない fact15: そのメキシコ人は身軽い fact16: そのメキシコ人が身軽いとしたらこのストライプ柄は身軽い fact17: 親しくないものは地域福祉であるし藻類だ ; $hypothesis$ = 「この基礎付けは説き示す」ということは成り立つ ; $proof$ = 
fact8 -> int1: このストライプ柄は緩い; fact15 & fact16 -> int2: 「このストライプ柄は身軽い」ということは成り立つ; int1 & int2 -> int3: このストライプ柄は身軽くて更に緩い; int3 -> int4: 「身軽くて緩い」ものはある; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にとある物が七千人だとしたら身軽くない
事実2: 仮にその災禍は緩くないとすると「そのヒット・ビットは該当しなくてしかも説き示さない」ということは真実だ
事実3: もしもその大都市部が身軽いということはないならこの法益は身軽い
事実4: あの貨幣市場は後ろめたい
事実5: 仮に「あの貨幣市場は地域福祉である」ということは事実と異ならないとするとこの各設備は開き始めるけど渡欧しない
事実6: もしこのストライプ柄が身軽いということはないとすればその自領は緩くて該当する
事実7: もし身軽い物が緩いとするとこの基礎付けは説き示さない
事実8: このストライプ柄は該当するしかつ緩い
事実9: もしこのストライプ柄が説き示せばこの基礎付けは説き示す
事実10: もしそのヒット・ビットが該当しなくてそれに説き示さないとするとそのメキシコ人は説き示す
事実11: もし仮にこの法益が身軽いとすればあの災禍は緩くない
事実12: もしもそのメキシコ人が説き示すとしたらこのストライプ柄は説き示す
事実13: もしもあの貨幣市場が後ろめたいとするとそれは春らしくないし加えて親しくない
事実14: 「なにがしかの物は説き示さないけれどそれは七千人である」ということは真実であるとしたら身軽いということはない
事実15: そのメキシコ人は身軽い
事実16: そのメキシコ人が身軽いとしたらこのストライプ柄は身軽い
事実17: 親しくないものは地域福祉であるし藻類だ

仮説: 「この基礎付けは説き示す」ということは成り立つ
1. 事実8から、推論1: "このストライプ柄は緩い"が導かれる
2. 事実15と事実16から、推論2: "「このストライプ柄は身軽い」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "このストライプ柄は身軽くて更に緩い"が導かれる
4. 推論3から、推論4: "「身軽くて緩い」ものはある"が導かれる
5. 推論4と事実7から、仮説が否定される

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