あの浅葱は染み込み易いということはないかまたは慎重さだということはないか両方ともだ
fact1: 仮にこの子供っぽさが染み込み易いということはないならばあの浅葱は慎重さである fact2: もしも「その御役御免は寝転ぶ」ということは成り立てばこの子供っぽさは停止する fact3: この子供っぽさはマーケティングである fact4: この子供っぽさがマーケティングだとしたら看過し難い fact5: この子供っぽさは慎重さでない fact6: なんらかのものは停止するしまた看過し難いとしたらそれは染み込み易くない fact7: その御役御免は寝転ぶ fact8: その御役御免が停止するけれどそれは長細くないならば「あの浅葱は長細い」ということは本当である fact9: その脂肪層は寝転ぶ fact10: この子供っぽさは染み込み易くないならば「あの浅葱は染み込み易くないかあるいはそれは慎重さであるということはない」ということは成り立たない
fact2 & fact7 -> int1: この子供っぽさは停止する; fact3 & fact4 -> int2: この子供っぽさは看過し難い; int1 & int2 -> int3: この子供っぽさは停止するし看過し難い; fact6 -> int4: もしもこの子供っぽさが停止するしかつ看過し難いならば「それは染み込み易くない」ということは誤りだということはない; int3 & int4 -> int5: この子供っぽさは染み込み易いということはない; int5 & fact10 -> hypothesis;
あの浅葱は長細いし更に看過し難い
$facts$ = fact1: 仮にこの子供っぽさが染み込み易いということはないならばあの浅葱は慎重さである fact2: もしも「その御役御免は寝転ぶ」ということは成り立てばこの子供っぽさは停止する fact3: この子供っぽさはマーケティングである fact4: この子供っぽさがマーケティングだとしたら看過し難い fact5: この子供っぽさは慎重さでない fact6: なんらかのものは停止するしまた看過し難いとしたらそれは染み込み易くない fact7: その御役御免は寝転ぶ fact8: その御役御免が停止するけれどそれは長細くないならば「あの浅葱は長細い」ということは本当である fact9: その脂肪層は寝転ぶ fact10: この子供っぽさは染み込み易くないならば「あの浅葱は染み込み易くないかあるいはそれは慎重さであるということはない」ということは成り立たない ; $hypothesis$ = あの浅葱は染み込み易いということはないかまたは慎重さだということはないか両方ともだ ; $proof$ = 
fact2 & fact7 -> int1: この子供っぽさは停止する; fact3 & fact4 -> int2: この子供っぽさは看過し難い; int1 & int2 -> int3: この子供っぽさは停止するし看過し難い; fact6 -> int4: もしもこの子供っぽさが停止するしかつ看過し難いならば「それは染み込み易くない」ということは誤りだということはない; int3 & int4 -> int5: この子供っぽさは染み込み易いということはない; int5 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮にこの子供っぽさが染み込み易いということはないならばあの浅葱は慎重さである
事実2: もしも「その御役御免は寝転ぶ」ということは成り立てばこの子供っぽさは停止する
事実3: この子供っぽさはマーケティングである
事実4: この子供っぽさがマーケティングだとしたら看過し難い
事実5: この子供っぽさは慎重さでない
事実6: なんらかのものは停止するしまた看過し難いとしたらそれは染み込み易くない
事実7: その御役御免は寝転ぶ
事実8: その御役御免が停止するけれどそれは長細くないならば「あの浅葱は長細い」ということは本当である
事実9: その脂肪層は寝転ぶ
事実10: この子供っぽさは染み込み易くないならば「あの浅葱は染み込み易くないかあるいはそれは慎重さであるということはない」ということは成り立たない

仮説: あの浅葱は染み込み易いということはないかまたは慎重さだということはないか両方ともだ
1. 事実2と事実7から、推論1: "この子供っぽさは停止する"が導かれる
2. 事実3と事実4から、推論2: "この子供っぽさは看過し難い"が導かれる
3. 推論1と推論2から、推論3: "この子供っぽさは停止するし看過し難い"が導かれる
4. 事実6から、推論4: "もしもこの子供っぽさが停止するしかつ看過し難いならば「それは染み込み易くない」ということは誤りだということはない"が導かれる
5. 推論3と推論4から、推論5: "この子供っぽさは染み込み易いということはない"が導かれる
6. 推論5と事実10から、仮説が否定される

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