この黒竜はすーごい
fact1: もし仮に「ある物は短距離戦であるが加増するということはない」ということは成り立たないとすれば中国株式市場でない fact2: もしその右上方は聳やかさないとすると「この七生は中国株式市場でそれに詰まり易い」ということは事実と異なる fact3: その右上方が短距離戦でないとすればそれは鳴り止まないけどアセスメントツールである fact4: もし「その右上方は聳やかす」ということは事実であるとしたら「それは鳴り止むしそれにそれはアセスメントツールだ」ということは嘘である fact5: この黒竜は優しないが聳やかす fact6: もし仮にこの七生は型枠数量でないならば「それは短距離戦であるがしかし加増するということはない」ということは成り立たない fact7: その右上方は短距離戦でない fact8: その右上方は聳やかさないとすると「この七生は中国株式市場でないけど詰まり易い」ということは間違いだ fact9: 仮にその右上方は短距離戦でないならばそれは鳴り止むということはない fact10: 仮にその右上方がすーごいならこの黒竜はすーごい fact11: もしこの七生が中国株式市場であるとするとこの黒竜はすーごくない fact12: もし「この七生は詰まり易くない一方ですーごい」ということは成り立つということはないならば「この黒竜はアセスメントツールであるということはない」ということは成り立つ fact13: 仮に「とある物は這いずり回らなくて加えてそれは雇用保険分でない」ということは誤りであるとすれば型枠数量だということはない fact14: 詰まり易くないものは聳やかすし短距離戦である fact15: 仮に「この七生は中国株式市場でないがしかしそれは詰まり易い」ということは成り立たないならこの黒竜はすーごくない fact16: 「この黒竜はすーごくないけどそれは詰まり易い」ということは間違いである fact17: もしもこの七生はアセスメントツールならば「短距離戦でなくて詰まり易い」ということは誤りだ fact18: この黒竜はアセスメントツールであるということはない fact19: 「その右上方は聳やかす」ということは成り立つとすれば「それは鳴り止まなくてそれはアセスメントツールである」ということは事実でない fact20: 「この七生は中国株式市場であるしそれは詰まり易い」ということは事実と異なる fact21: その右上方は鳴り止まない fact22: 這いずり回らないしそれにそれは雇用保険分でないというものはない fact23: その右上方は寂しかない fact24: 「その右上方は鳴り止むしアセスメントツールである」ということは誤りである
void -> assump1: 以下のように仮定する。その右上方は聳やかす; fact19 & assump1 -> int1: 「その右上方は鳴り止まないけれどそれはアセスメントツールである」ということは成り立たない; fact3 & fact7 -> int2: その右上方は鳴り止むということはないけどアセスメントツールである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その右上方は聳やかさない; int4 & fact8 -> int5: 「この七生は中国株式市場でないが詰まり易い」ということは間違っている; int5 & fact15 -> hypothesis;
「この二回以上は短距離戦である」ということは確かだ
fact25 -> int6: もし仮にこの二回以上が詰まり易くないとすれば聳やかすししかも短距離戦だ;
$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$ = 
void -> assump1: 以下のように仮定する。その右上方は聳やかす; fact19 & assump1 -> int1: 「その右上方は鳴り止まないけれどそれはアセスメントツールである」ということは成り立たない; fact3 & fact7 -> int2: その右上方は鳴り止むということはないけどアセスメントツールである; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その右上方は聳やかさない; int4 & fact8 -> int5: 「この七生は中国株式市場でないが詰まり易い」ということは間違っている; int5 & fact15 -> 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. 仮定1: 以下のように仮定する。その右上方は聳やかす
2. 事実19と仮定1から、推論1: "「その右上方は鳴り止まないけれどそれはアセスメントツールである」ということは成り立たない"が導かれる
3. 事実3と事実7から、推論2: "その右上方は鳴り止むということはないけどアセスメントツールである"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その右上方は聳やかさない"が導かれる
6. 推論4と事実8から、推論5: "「この七生は中国株式市場でないが詰まり易い」ということは間違っている"が導かれる
7. 推論5と事実15から、仮説が否定される

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