「この走り方はくらくらしない」ということは成り立つ
fact1: もしもとあるものがぬめ光れば社会主義国家だ fact2: 「あの同和地区はくらくらする」ということは事実である fact3: あの特典映像は形式化しない fact4: もしこの走り方がくらくらしないとしたら倍す fact5: その初誕生日は形式化する fact6: もしもある物が形式化すれば自作しなくておまけにくらくらしない fact7: この走り方は形式化しない fact8: もしもこのタイトル音楽が落ちぶれないとしたらこの走り方は長期滞在するしそれに形式化する fact9: もしもとあるものが形式化しないならばそれはくらくらする fact10: 「この積み込みは完全武装するかもしくは陪審でないかどちらもである」ということは誤りだとするとこのディープインパクトは落ちぶれる fact11: もしこのディープインパクトが社会主義国家だし落ちぶれるならこのタイトル音楽は落ちぶれない fact12: もしもなにかは産出しないとしたらそれは落ちぶれる fact13: もしも何かは精神力動でないとするとそれは御命じに成る fact14: もしこの工学は集計表でないとしたら「それはくらくらする」ということは真実だ fact15: その原油価格は勧める fact16: このディープインパクトはぬめ光る fact17: あの装飾品は形式化する fact18: この走り方は使い辛くない fact19: そのＬインはくらくらする fact20: この走り方は英字間でないなら民間企業だ
fact9 -> int1: 仮にこの走り方が形式化しないとするとそれはくらくらする; int1 & fact7 -> hypothesis;
fact9 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact7 -> hypothesis;
この走り方はくらくらしない
fact23 -> int2: もしこの走り方が形式化すればそれは自作しなくてそれはくらくらしない; fact27 -> int3: 仮に「このディープインパクトはぬめ光る」ということは真実であるとするとそれは社会主義国家だ; int3 & fact21 -> int4: このディープインパクトは社会主義国家だ; fact25 -> int5: ある物は勧める;
$facts$ = fact1: もしもとあるものがぬめ光れば社会主義国家だ fact2: 「あの同和地区はくらくらする」ということは事実である fact3: あの特典映像は形式化しない fact4: もしこの走り方がくらくらしないとしたら倍す fact5: その初誕生日は形式化する fact6: もしもある物が形式化すれば自作しなくておまけにくらくらしない fact7: この走り方は形式化しない fact8: もしもこのタイトル音楽が落ちぶれないとしたらこの走り方は長期滞在するしそれに形式化する fact9: もしもとあるものが形式化しないならばそれはくらくらする fact10: 「この積み込みは完全武装するかもしくは陪審でないかどちらもである」ということは誤りだとするとこのディープインパクトは落ちぶれる fact11: もしこのディープインパクトが社会主義国家だし落ちぶれるならこのタイトル音楽は落ちぶれない fact12: もしもなにかは産出しないとしたらそれは落ちぶれる fact13: もしも何かは精神力動でないとするとそれは御命じに成る fact14: もしこの工学は集計表でないとしたら「それはくらくらする」ということは真実だ fact15: その原油価格は勧める fact16: このディープインパクトはぬめ光る fact17: あの装飾品は形式化する fact18: この走り方は使い辛くない fact19: そのＬインはくらくらする fact20: この走り方は英字間でないなら民間企業だ ; $hypothesis$ = 「この走り方はくらくらしない」ということは成り立つ ; $proof$ = 
fact9 -> int1: 仮にこの走り方が形式化しないとするとそれはくらくらする; int1 & fact7 -> hypothesis; __DISPROVED__
事実1: もしもとあるものがぬめ光れば社会主義国家だ
事実2: 「あの同和地区はくらくらする」ということは事実である
事実3: あの特典映像は形式化しない
事実4: もしこの走り方がくらくらしないとしたら倍す
事実5: その初誕生日は形式化する
事実6: もしもある物が形式化すれば自作しなくておまけにくらくらしない
事実7: この走り方は形式化しない
事実8: もしもこのタイトル音楽が落ちぶれないとしたらこの走り方は長期滞在するしそれに形式化する
事実9: もしもとあるものが形式化しないならばそれはくらくらする
事実10: 「この積み込みは完全武装するかもしくは陪審でないかどちらもである」ということは誤りだとするとこのディープインパクトは落ちぶれる
事実11: もしこのディープインパクトが社会主義国家だし落ちぶれるならこのタイトル音楽は落ちぶれない
事実12: もしもなにかは産出しないとしたらそれは落ちぶれる
事実13: もしも何かは精神力動でないとするとそれは御命じに成る
事実14: もしこの工学は集計表でないとしたら「それはくらくらする」ということは真実だ
事実15: その原油価格は勧める
事実16: このディープインパクトはぬめ光る
事実17: あの装飾品は形式化する
事実18: この走り方は使い辛くない
事実19: そのＬインはくらくらする
事実20: この走り方は英字間でないなら民間企業だ

仮説: 「この走り方はくらくらしない」ということは成り立つ
1. 事実9から、推論1: "仮にこの走り方が形式化しないとするとそれはくらくらする"が導かれる
2. 推論1と事実7から、仮説が否定される

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