その運動中枢は列挙出来るということはない
fact1: 「成長振りである」物はある fact2: 「この準備は轢き逃げ事件でそれは還俗する」ということは偽である fact3: 仮にとあるものが軟らかいとするとそれは間違え易い fact4: 仮にその運動中枢が軟らかいとしたらそれは列挙出来ない fact5: その運動中枢は間違え易い fact6: もしも「なにかは轢き逃げ事件でおまけに還俗する」ということは成り立つということはないならそれは轢き逃げ事件だということはない fact7: この準備は酷い fact8: 仮にとある物が軟らかいか間違え易いかあるいは両方だとすると「それは列挙出来ない」ということは真実だ
fact5 -> int1: 「その運動中枢は軟らかいかまたは間違え易い」ということは成り立つ; fact8 -> int2: その運動中枢は軟らかいかもしくは間違え易いとすると列挙出来るということはない; int1 & int2 -> hypothesis;
そのジェット旅客機は間違え易い
fact9 -> int3: もしそのジェット旅客機が軟らかいとすると間違え易い;
$facts$ = fact1: 「成長振りである」物はある fact2: 「この準備は轢き逃げ事件でそれは還俗する」ということは偽である fact3: 仮にとあるものが軟らかいとするとそれは間違え易い fact4: 仮にその運動中枢が軟らかいとしたらそれは列挙出来ない fact5: その運動中枢は間違え易い fact6: もしも「なにかは轢き逃げ事件でおまけに還俗する」ということは成り立つということはないならそれは轢き逃げ事件だということはない fact7: この準備は酷い fact8: 仮にとある物が軟らかいか間違え易いかあるいは両方だとすると「それは列挙出来ない」ということは真実だ ; $hypothesis$ = その運動中枢は列挙出来るということはない ; $proof$ = 
fact5 -> int1: 「その運動中枢は軟らかいかまたは間違え易い」ということは成り立つ; fact8 -> int2: その運動中枢は軟らかいかもしくは間違え易いとすると列挙出来るということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: 「成長振りである」物はある
事実2: 「この準備は轢き逃げ事件でそれは還俗する」ということは偽である
事実3: 仮にとあるものが軟らかいとするとそれは間違え易い
事実4: 仮にその運動中枢が軟らかいとしたらそれは列挙出来ない
事実5: その運動中枢は間違え易い
事実6: もしも「なにかは轢き逃げ事件でおまけに還俗する」ということは成り立つということはないならそれは轢き逃げ事件だということはない
事実7: この準備は酷い
事実8: 仮にとある物が軟らかいか間違え易いかあるいは両方だとすると「それは列挙出来ない」ということは真実だ

仮説: その運動中枢は列挙出来るということはない
1. 事実5から、推論1: "「その運動中枢は軟らかいかまたは間違え易い」ということは成り立つ"が導かれる
2. 事実8から、推論2: "その運動中枢は軟らかいかもしくは間違え易いとすると列挙出来るということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。