この運搬機器は公営化するしかつ腑甲斐無い
fact1: 「近い」物はある fact2: もし仮にその帰国子女が腑甲斐無くないとすればそれは近いけれどエシュロンでない fact3: その労力は骨っぽくない fact4: 全ての物は舞い踊る fact5: もし仮にその労力は忌まわしいがしかし骨っぽいということはないなら近くない fact6: その労力は忌まわしいがそれは骨っぽくない fact7: もしもなにがしかの物は舞い踊るとしたら「「それは腑甲斐無くないしさらに政治闘争であるということはない」ということは確かだ」ということは成り立つということはない fact8: 「「腑甲斐無いということはないしそれに政治闘争であるということはない」ということは事実と異なる」ものがあるならばあの運搬機器は腑甲斐無い fact9: もしなにかは近くないとすれば「この運搬機器は公営化するし腑甲斐無い」ということは成り立たない fact10: もしなにがしかのものは公営化しないとすると「その労力は腑甲斐無いし忌まわしい」ということは間違いである
fact5 & fact6 -> int1: その労力は近くない; int1 -> int2: 「「近くない」ということは正しい」ものはある; int2 & fact9 -> hypothesis;
この運搬機器は公営化するしさらに腑甲斐無い
fact11 -> int3: あの適用年度は舞い踊るとすると「腑甲斐無くないし更に政治闘争でない」ということは誤っている; fact13 -> int4: あの適用年度は舞い踊る; int3 & int4 -> int5: 「あの適用年度は腑甲斐無くないし政治闘争だということはない」ということは事実と異なる; int5 -> int6: 「それは腑甲斐無くないししかも政治闘争でない」ということは成り立つという物はない; int6 -> int7: 「その労力は腑甲斐無くないしまた政治闘争であるということはない」ということは成り立たない; int7 -> int8: 「「腑甲斐無いということはないしおまけに政治闘争であるということはない」ということは間違いな」ものはある; fact12 & int8 -> int9: この運搬機器は腑甲斐無い;
$facts$ = fact1: 「近い」物はある fact2: もし仮にその帰国子女が腑甲斐無くないとすればそれは近いけれどエシュロンでない fact3: その労力は骨っぽくない fact4: 全ての物は舞い踊る fact5: もし仮にその労力は忌まわしいがしかし骨っぽいということはないなら近くない fact6: その労力は忌まわしいがそれは骨っぽくない fact7: もしもなにがしかの物は舞い踊るとしたら「「それは腑甲斐無くないしさらに政治闘争であるということはない」ということは確かだ」ということは成り立つということはない fact8: 「「腑甲斐無いということはないしそれに政治闘争であるということはない」ということは事実と異なる」ものがあるならばあの運搬機器は腑甲斐無い fact9: もしなにかは近くないとすれば「この運搬機器は公営化するし腑甲斐無い」ということは成り立たない fact10: もしなにがしかのものは公営化しないとすると「その労力は腑甲斐無いし忌まわしい」ということは間違いである ; $hypothesis$ = この運搬機器は公営化するしかつ腑甲斐無い ; $proof$ = 
fact5 & fact6 -> int1: その労力は近くない; int1 -> int2: 「「近くない」ということは正しい」ものはある; int2 & fact9 -> hypothesis; __DISPROVED__
事実1: 「近い」物はある
事実2: もし仮にその帰国子女が腑甲斐無くないとすればそれは近いけれどエシュロンでない
事実3: その労力は骨っぽくない
事実4: 全ての物は舞い踊る
事実5: もし仮にその労力は忌まわしいがしかし骨っぽいということはないなら近くない
事実6: その労力は忌まわしいがそれは骨っぽくない
事実7: もしもなにがしかの物は舞い踊るとしたら「「それは腑甲斐無くないしさらに政治闘争であるということはない」ということは確かだ」ということは成り立つということはない
事実8: 「「腑甲斐無いということはないしそれに政治闘争であるということはない」ということは事実と異なる」ものがあるならばあの運搬機器は腑甲斐無い
事実9: もしなにかは近くないとすれば「この運搬機器は公営化するし腑甲斐無い」ということは成り立たない
事実10: もしなにがしかのものは公営化しないとすると「その労力は腑甲斐無いし忌まわしい」ということは間違いである

仮説: この運搬機器は公営化するしかつ腑甲斐無い
1. 事実5と事実6から、推論1: "その労力は近くない"が導かれる
2. 推論1から、推論2: "「「近くない」ということは正しい」ものはある"が導かれる
3. 推論2と事実9から、仮説が否定される

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