「その空ドックは譲渡すし奴隷化する」ということは間違いだ
fact1: 仮になにかは余儀無いとすれば「その空ドックは決算情報であるけどミスプロ系であるということはない」ということは誤りである fact2: 厳ついということはない物は代理出産だ fact3: もし仮にとある物が抱き寄せないならば譲渡す fact4: その大入りは決算情報でない fact5: 「余儀無い」ものはある fact6: もし仮に「この意味世界は譲渡すらないがしかし抱き寄せる」ということは成り立たないならこの全五種類はミスプロ系である fact7: もしも「ある物は決算情報だがミスプロ系でない」ということは嘘であるとしたらそれは抱き寄せない fact8: その平均棍はざわざわするがしかし真白くない fact9: ミスプロ系は抱き寄せない fact10: 「その平均棍は決算情報だ一方で奴隷化しない」ということは偽であるとするとそれはざわざわしない fact11: もし何かは余儀無いとすると「その空ドックは決算情報であるししかもミスプロ系である」ということは間違っている fact12: その平均棍は真白くない fact13: 仮にその平均棍は余儀無くないならば「その空ドックは譲渡すしおまけに奴隷化する」ということは成り立たない fact14: なにかはざわざわするしおまけに真白い fact15: 「ざわざわするし真白くない」ものがあるならその空ドックは奴隷化する fact16: 「真白くない」物はある fact17: 「この三子は薄青いが区別し易くない」ということは本当である
fact5 & fact1 -> int1: 「その空ドックは決算情報であるけどそれはミスプロ系でない」ということは間違いである; fact7 -> int2: 「その空ドックは決算情報であるがミスプロ系であるということはない」ということは間違いだとすると「抱き寄せない」ということは成り立つ; int1 & int2 -> int3: その空ドックは抱き寄せない; fact3 -> int4: もしもその空ドックが抱き寄せないならそれは譲渡す; int3 & int4 -> int5: その空ドックは譲渡す; fact8 -> int6: 「ざわざわするがしかし真白くない」物はある; fact15 & int6 -> int7: その空ドックは奴隷化する; int5 & int7 -> hypothesis;
「その空ドックは譲渡すし奴隷化する」ということは誤りだ
$facts$ = fact1: 仮になにかは余儀無いとすれば「その空ドックは決算情報であるけどミスプロ系であるということはない」ということは誤りである fact2: 厳ついということはない物は代理出産だ fact3: もし仮にとある物が抱き寄せないならば譲渡す fact4: その大入りは決算情報でない fact5: 「余儀無い」ものはある fact6: もし仮に「この意味世界は譲渡すらないがしかし抱き寄せる」ということは成り立たないならこの全五種類はミスプロ系である fact7: もしも「ある物は決算情報だがミスプロ系でない」ということは嘘であるとしたらそれは抱き寄せない fact8: その平均棍はざわざわするがしかし真白くない fact9: ミスプロ系は抱き寄せない fact10: 「その平均棍は決算情報だ一方で奴隷化しない」ということは偽であるとするとそれはざわざわしない fact11: もし何かは余儀無いとすると「その空ドックは決算情報であるししかもミスプロ系である」ということは間違っている fact12: その平均棍は真白くない fact13: 仮にその平均棍は余儀無くないならば「その空ドックは譲渡すしおまけに奴隷化する」ということは成り立たない fact14: なにかはざわざわするしおまけに真白い fact15: 「ざわざわするし真白くない」ものがあるならその空ドックは奴隷化する fact16: 「真白くない」物はある fact17: 「この三子は薄青いが区別し易くない」ということは本当である ; $hypothesis$ = 「その空ドックは譲渡すし奴隷化する」ということは間違いだ ; $proof$ = 
fact5 & fact1 -> int1: 「その空ドックは決算情報であるけどそれはミスプロ系でない」ということは間違いである; fact7 -> int2: 「その空ドックは決算情報であるがミスプロ系であるということはない」ということは間違いだとすると「抱き寄せない」ということは成り立つ; int1 & int2 -> int3: その空ドックは抱き寄せない; fact3 -> int4: もしもその空ドックが抱き寄せないならそれは譲渡す; int3 & int4 -> int5: その空ドックは譲渡す; fact8 -> int6: 「ざわざわするがしかし真白くない」物はある; fact15 & int6 -> int7: その空ドックは奴隷化する; int5 & int7 -> hypothesis; __DISPROVED__
事実1: 仮になにかは余儀無いとすれば「その空ドックは決算情報であるけどミスプロ系であるということはない」ということは誤りである
事実2: 厳ついということはない物は代理出産だ
事実3: もし仮にとある物が抱き寄せないならば譲渡す
事実4: その大入りは決算情報でない
事実5: 「余儀無い」ものはある
事実6: もし仮に「この意味世界は譲渡すらないがしかし抱き寄せる」ということは成り立たないならこの全五種類はミスプロ系である
事実7: もしも「ある物は決算情報だがミスプロ系でない」ということは嘘であるとしたらそれは抱き寄せない
事実8: その平均棍はざわざわするがしかし真白くない
事実9: ミスプロ系は抱き寄せない
事実10: 「その平均棍は決算情報だ一方で奴隷化しない」ということは偽であるとするとそれはざわざわしない
事実11: もし何かは余儀無いとすると「その空ドックは決算情報であるししかもミスプロ系である」ということは間違っている
事実12: その平均棍は真白くない
事実13: 仮にその平均棍は余儀無くないならば「その空ドックは譲渡すしおまけに奴隷化する」ということは成り立たない
事実14: なにかはざわざわするしおまけに真白い
事実15: 「ざわざわするし真白くない」ものがあるならその空ドックは奴隷化する
事実16: 「真白くない」物はある
事実17: 「この三子は薄青いが区別し易くない」ということは本当である

仮説: 「その空ドックは譲渡すし奴隷化する」ということは間違いだ
1. 事実5と事実1から、推論1: "「その空ドックは決算情報であるけどそれはミスプロ系でない」ということは間違いである"が導かれる
2. 事実7から、推論2: "「その空ドックは決算情報であるがミスプロ系であるということはない」ということは間違いだとすると「抱き寄せない」ということは成り立つ"が導かれる
3. 推論1と推論2から、推論3: "その空ドックは抱き寄せない"が導かれる
4. 事実3から、推論4: "もしもその空ドックが抱き寄せないならそれは譲渡す"が導かれる
5. 推論3と推論4から、推論5: "その空ドックは譲渡す"が導かれる
6. 事実8から、推論6: "「ざわざわするがしかし真白くない」物はある"が導かれる
7. 事実15と推論6から、推論7: "その空ドックは奴隷化する"が導かれる
8. 推論5と推論7から、仮説が否定される

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