その第三順位は寄託だ
fact1: あの永先生は共闘するけどそれは子供家庭福祉相談援助体制でない fact2: 「その第三順位は共闘するがしかしそれは寄託でない」ということは成り立たない fact3: 「荒らげる」物はある fact4: もし「あの永先生は荒らげるがしかしそれは移り難くない」ということは事実と異なるとするとこの資本主義世界は共闘する fact5: 「移り難い」物はある fact6: その防風は成り難くない fact7: 「「この資本主義世界は浮き易いけれど寄託でない」ということは成り立たない」ということは本当であるとするとあの永先生は共闘する fact8: その第三順位はフランドル焼きだ fact9: 仮にあるものが共闘するとすれば荒らげる fact10: もしもこの資本主義世界が移り難いとするとあの永先生は共闘する fact11: なんらかの物が荒らげれば寄託だ fact12: 「あの永先生は浮き易いがそれは移り難くない」ということは成り立たないとすればこの資本主義世界は共闘する fact13: この資本主義世界は共闘すれば「その民事執行法は荒らげる」ということは確かだ fact14: なんらかの物は移り難くない fact15: この資本主義世界は浮き易い fact16: もし仮に「あの永先生は寄託であるけれど共闘しない」ということは誤りならばその第三順位は浮き易い fact17: 「起居するということはない」物があるとしたらその民事執行法は荒らげない fact18: 何らかのものは起居しない fact19: 「あの永先生は浮き易いし加えて移り難い」ということは誤っている fact20: もしあの永先生は浮き易い一方で移り難いということはないとすれば「その第三順位は寄託であるということはない」ということは成り立つ fact21: あの永先生は移り難くない fact22: 「「浮き易い」ものはある」ということは正しい fact23: もしもその第三順位が共闘するし更にそれが寄託であるならその民事執行法は荒らげるということはない
void -> assump1: 以下のように仮定する。「あの永先生は浮き易いけど移り難くない」ということは誤りである; fact12 & assump1 -> int1: この資本主義世界は共闘する; int1 & fact13 -> int2: その民事執行法は荒らげる; fact18 & fact17 -> int3: その民事執行法は荒らげない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの永先生は浮き易いがしかし移り難いということはない; int5 & fact20 -> hypothesis;
その第三順位は寄託だ
fact25 -> int6: 仮にその第三順位が荒らげるならそれは寄託である; fact24 -> int7: 仮にその第三順位が共闘すればそれは荒らげる;
$facts$ = fact1: あの永先生は共闘するけどそれは子供家庭福祉相談援助体制でない fact2: 「その第三順位は共闘するがしかしそれは寄託でない」ということは成り立たない fact3: 「荒らげる」物はある fact4: もし「あの永先生は荒らげるがしかしそれは移り難くない」ということは事実と異なるとするとこの資本主義世界は共闘する fact5: 「移り難い」物はある fact6: その防風は成り難くない fact7: 「「この資本主義世界は浮き易いけれど寄託でない」ということは成り立たない」ということは本当であるとするとあの永先生は共闘する fact8: その第三順位はフランドル焼きだ fact9: 仮にあるものが共闘するとすれば荒らげる fact10: もしもこの資本主義世界が移り難いとするとあの永先生は共闘する fact11: なんらかの物が荒らげれば寄託だ fact12: 「あの永先生は浮き易いがそれは移り難くない」ということは成り立たないとすればこの資本主義世界は共闘する fact13: この資本主義世界は共闘すれば「その民事執行法は荒らげる」ということは確かだ fact14: なんらかの物は移り難くない fact15: この資本主義世界は浮き易い fact16: もし仮に「あの永先生は寄託であるけれど共闘しない」ということは誤りならばその第三順位は浮き易い fact17: 「起居するということはない」物があるとしたらその民事執行法は荒らげない fact18: 何らかのものは起居しない fact19: 「あの永先生は浮き易いし加えて移り難い」ということは誤っている fact20: もしあの永先生は浮き易い一方で移り難いということはないとすれば「その第三順位は寄託であるということはない」ということは成り立つ fact21: あの永先生は移り難くない fact22: 「「浮き易い」ものはある」ということは正しい fact23: もしもその第三順位が共闘するし更にそれが寄託であるならその民事執行法は荒らげるということはない ; $hypothesis$ = その第三順位は寄託だ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの永先生は浮き易いけど移り難くない」ということは誤りである; fact12 & assump1 -> int1: この資本主義世界は共闘する; int1 & fact13 -> int2: その民事執行法は荒らげる; fact18 & fact17 -> int3: その民事執行法は荒らげない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの永先生は浮き易いがしかし移り難いということはない; int5 & fact20 -> 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: もしもその第三順位が共闘するし更にそれが寄託であるならその民事執行法は荒らげるということはない

仮説: その第三順位は寄託だ
1. 仮定1: 以下のように仮定する。「あの永先生は浮き易いけど移り難くない」ということは誤りである
2. 事実12と仮定1から、推論1: "この資本主義世界は共闘する"が導かれる
3. 推論1と事実13から、推論2: "その民事執行法は荒らげる"が導かれる
4. 事実18と事実17から、推論3: "その民事執行法は荒らげない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの永先生は浮き易いがしかし移り難いということはない"が導かれる
7. 推論5と事実20から、仮説が否定される

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