「ある物は下命するししかも単位間である」ということは真実でない
fact1: この向上等は切り裂くしそれは熊襲征討である fact2: ある物が下命する一方でそれは熊襲征討でないなら不足し易くない fact3: もしもその株安が待たさないとするとその生傷は単位間であるかまたはけちけちする fact4: この文殊広法天尊は熊襲征討だ fact5: もしも「この向上等は合資会社であるかまたは超克しない」ということは間違いだとすればあの作り立ては印象深い fact6: 仮に「ある物は待たす」ということは成り立つとしたら「熊襲征討であるかまたは単位間でない」ということは成り立たない fact7: その生傷が単位間ならその二十八日夜は単位間である fact8: その生傷は熊襲征討であるしかつそれは塗色だ fact9: あの千二百万円以下が印象深いとすればそれは待たす fact10: もし「何らかの物は切り裂く」ということは確かであるならば「それは合資会社であるかそれは超克しないかもしくは両方ともだ」ということは誤りである fact11: なんらかのものが切り裂くかまたはけちけちするかどちらもならその生傷は超克する fact12: 仮にその生傷がけちけちするとするとその二十八日夜は単位間だ fact13: この向上等はストラトであるしさらに言い淀む fact14: 仮にその二十八日夜は不足し易くないとしたら「この作り立ては印象深いがしかし切り裂かない」ということは成り立つということはない fact15: 何かは不足し易いかもしくは剥き出すならこの作り立ては下命する fact16: この向上等は熊襲征討であるかもしくは単位間であるかあるいは両方ともである fact17: ある物は印象深いかあるいは待たすか両方ともだ fact18: もし仮に「あの千二百万円以下は待たす一方で剥き出さない」ということは成り立たないとするとその株安は待たさない fact19: 「あの千二百万円以下は待たすけれどそれは剥き出すということはない」ということは偽である fact20: もしもこの作り立てが印象深いならそれは単位間である fact21: 「印象深いか不足し易いかどちらもな」物があるとすればあの二十八日夜は下命する fact22: もしもこの作り立てが合資会社であるならばあの向上等は合資会社である fact23: 「熊襲征討である」物はある fact24: 「薄汚い」ものはある
fact10 -> int1: この向上等は切り裂けば「合資会社であるかまたは超克しないかまたは両方だ」ということは偽である; fact1 -> int2: この向上等は切り裂く; int1 & int2 -> int3: 「この向上等は合資会社であるかもしくは超克しない」ということは確かだということはない; int3 & fact5 -> int4: この作り立ては印象深い; int4 -> int5: この作り立ては印象深いかまたはそれは不足し易いかもしくは両方だ; int5 -> int6: 印象深いか不足し易い物はある; int6 & fact21 -> int7: 「その二十八日夜は下命する」ということは成り立つ; fact18 & fact19 -> int8: その株安は待たさない; int8 & fact3 -> int9: その生傷は単位間であるかまたはけちけちするかもしくはどちらもである; int9 & fact12 & fact7 -> int10: その二十八日夜は単位間である; int7 & int10 -> int11: その二十八日夜は下命するしそれは単位間である; int11 -> hypothesis;
あの寝癖は単位間である
fact26 -> int12: もし仮にその二十八日夜は下命するけど熊襲征討だということはないとすると「不足し易くない」ということは成り立つ;
$facts$ = fact1: この向上等は切り裂くしそれは熊襲征討である fact2: ある物が下命する一方でそれは熊襲征討でないなら不足し易くない fact3: もしもその株安が待たさないとするとその生傷は単位間であるかまたはけちけちする fact4: この文殊広法天尊は熊襲征討だ fact5: もしも「この向上等は合資会社であるかまたは超克しない」ということは間違いだとすればあの作り立ては印象深い fact6: 仮に「ある物は待たす」ということは成り立つとしたら「熊襲征討であるかまたは単位間でない」ということは成り立たない fact7: その生傷が単位間ならその二十八日夜は単位間である fact8: その生傷は熊襲征討であるしかつそれは塗色だ fact9: あの千二百万円以下が印象深いとすればそれは待たす fact10: もし「何らかの物は切り裂く」ということは確かであるならば「それは合資会社であるかそれは超克しないかもしくは両方ともだ」ということは誤りである fact11: なんらかのものが切り裂くかまたはけちけちするかどちらもならその生傷は超克する fact12: 仮にその生傷がけちけちするとするとその二十八日夜は単位間だ fact13: この向上等はストラトであるしさらに言い淀む fact14: 仮にその二十八日夜は不足し易くないとしたら「この作り立ては印象深いがしかし切り裂かない」ということは成り立つということはない fact15: 何かは不足し易いかもしくは剥き出すならこの作り立ては下命する fact16: この向上等は熊襲征討であるかもしくは単位間であるかあるいは両方ともである fact17: ある物は印象深いかあるいは待たすか両方ともだ fact18: もし仮に「あの千二百万円以下は待たす一方で剥き出さない」ということは成り立たないとするとその株安は待たさない fact19: 「あの千二百万円以下は待たすけれどそれは剥き出すということはない」ということは偽である fact20: もしもこの作り立てが印象深いならそれは単位間である fact21: 「印象深いか不足し易いかどちらもな」物があるとすればあの二十八日夜は下命する fact22: もしもこの作り立てが合資会社であるならばあの向上等は合資会社である fact23: 「熊襲征討である」物はある fact24: 「薄汚い」ものはある ; $hypothesis$ = 「ある物は下命するししかも単位間である」ということは真実でない ; $proof$ = 
fact10 -> int1: この向上等は切り裂けば「合資会社であるかまたは超克しないかまたは両方だ」ということは偽である; fact1 -> int2: この向上等は切り裂く; int1 & int2 -> int3: 「この向上等は合資会社であるかもしくは超克しない」ということは確かだということはない; int3 & fact5 -> int4: この作り立ては印象深い; int4 -> int5: この作り立ては印象深いかまたはそれは不足し易いかもしくは両方だ; int5 -> int6: 印象深いか不足し易い物はある; int6 & fact21 -> int7: 「その二十八日夜は下命する」ということは成り立つ; fact18 & fact19 -> int8: その株安は待たさない; int8 & fact3 -> int9: その生傷は単位間であるかまたはけちけちするかもしくはどちらもである; int9 & fact12 & fact7 -> int10: その二十八日夜は単位間である; int7 & int10 -> int11: その二十八日夜は下命するしそれは単位間である; int11 -> hypothesis; __DISPROVED__
事実1: この向上等は切り裂くしそれは熊襲征討である
事実2: ある物が下命する一方でそれは熊襲征討でないなら不足し易くない
事実3: もしもその株安が待たさないとするとその生傷は単位間であるかまたはけちけちする
事実4: この文殊広法天尊は熊襲征討だ
事実5: もしも「この向上等は合資会社であるかまたは超克しない」ということは間違いだとすればあの作り立ては印象深い
事実6: 仮に「ある物は待たす」ということは成り立つとしたら「熊襲征討であるかまたは単位間でない」ということは成り立たない
事実7: その生傷が単位間ならその二十八日夜は単位間である
事実8: その生傷は熊襲征討であるしかつそれは塗色だ
事実9: あの千二百万円以下が印象深いとすればそれは待たす
事実10: もし「何らかの物は切り裂く」ということは確かであるならば「それは合資会社であるかそれは超克しないかもしくは両方ともだ」ということは誤りである
事実11: なんらかのものが切り裂くかまたはけちけちするかどちらもならその生傷は超克する
事実12: 仮にその生傷がけちけちするとするとその二十八日夜は単位間だ
事実13: この向上等はストラトであるしさらに言い淀む
事実14: 仮にその二十八日夜は不足し易くないとしたら「この作り立ては印象深いがしかし切り裂かない」ということは成り立つということはない
事実15: 何かは不足し易いかもしくは剥き出すならこの作り立ては下命する
事実16: この向上等は熊襲征討であるかもしくは単位間であるかあるいは両方ともである
事実17: ある物は印象深いかあるいは待たすか両方ともだ
事実18: もし仮に「あの千二百万円以下は待たす一方で剥き出さない」ということは成り立たないとするとその株安は待たさない
事実19: 「あの千二百万円以下は待たすけれどそれは剥き出すということはない」ということは偽である
事実20: もしもこの作り立てが印象深いならそれは単位間である
事実21: 「印象深いか不足し易いかどちらもな」物があるとすればあの二十八日夜は下命する
事実22: もしもこの作り立てが合資会社であるならばあの向上等は合資会社である
事実23: 「熊襲征討である」物はある
事実24: 「薄汚い」ものはある

仮説: 「ある物は下命するししかも単位間である」ということは真実でない
1. 事実10から、推論1: "この向上等は切り裂けば「合資会社であるかまたは超克しないかまたは両方だ」ということは偽である"が導かれる
2. 事実1から、推論2: "この向上等は切り裂く"が導かれる
3. 推論1と推論2から、推論3: "「この向上等は合資会社であるかもしくは超克しない」ということは確かだということはない"が導かれる
4. 推論3と事実5から、推論4: "この作り立ては印象深い"が導かれる
5. 推論4から、推論5: "この作り立ては印象深いかまたはそれは不足し易いかもしくは両方だ"が導かれる
6. 推論5から、推論6: "印象深いか不足し易い物はある"が導かれる
7. 推論6と事実21から、推論7: "「その二十八日夜は下命する」ということは成り立つ"が導かれる
8. 事実18と事実19から、推論8: "その株安は待たさない"が導かれる
9. 推論8と事実3から、推論9: "その生傷は単位間であるかまたはけちけちするかもしくはどちらもである"が導かれる
10. 推論9と事実12と事実7から、推論10: "その二十八日夜は単位間である"が導かれる
11. 推論7と推論10から、推論11: "その二十八日夜は下命するしそれは単位間である"が導かれる
12. 推論11から、仮説が否定される

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