このステレオ効果は延焼しない
fact1: もし仮にある物は春らしくないとすると「それは報ずるしかつそれは縺れ合う」ということは成り立たない fact2: もし仮にこのステレオ効果が春らしいということはないとするとそれはリスト化するしそれは延焼する fact3: もしもなにがしかの物は暮らし易いとすると「若返らないしおまけにリスト化しない」ということは確かである fact4: もしこの一帯が報ぜないがしかし暮らし易いとするとこの灰白質は若返らない fact5: 「このステレオ効果はリスト化する」ということは事実と異ならない fact6: もしこの一帯が縺れ合うなら報ずるということはないがしかし暮らし易い fact7: 「なにかは上げ掛けないけど若返る」ということは誤りであるとするとそれは上げ掛ける fact8: どれもこれもは延焼するしリスト化する fact9: この灰白質は春らしくない fact10: もしとある物がリスト化しないとしたらそれは延焼しない
fact8 -> int1: このステレオ効果は延焼するしおまけにリスト化する; int1 -> hypothesis;
このステレオ効果は延焼するということはない
fact11 -> int2: 仮に「このステレオ効果はリスト化しない」ということは確かであるならば「それは延焼しない」ということは真実である; fact14 -> int3: 仮にこのステレオ効果が暮らし易いとしたらそれは若返らなくてリスト化しない; fact13 -> int4: 仮にこの灰白質は春らしくないなら「「報ずるしそれは縺れ合う」ということは成り立つ」ということは成り立たない; int4 & fact12 -> int5: 「この灰白質は報ずるしそれは縺れ合う」ということは成り立たない; int5 -> int6: 「「報ずるしおまけに縺れ合う」ということは誤りな」ものはある;
$facts$ = fact1: もし仮にある物は春らしくないとすると「それは報ずるしかつそれは縺れ合う」ということは成り立たない fact2: もし仮にこのステレオ効果が春らしいということはないとするとそれはリスト化するしそれは延焼する fact3: もしもなにがしかの物は暮らし易いとすると「若返らないしおまけにリスト化しない」ということは確かである fact4: もしこの一帯が報ぜないがしかし暮らし易いとするとこの灰白質は若返らない fact5: 「このステレオ効果はリスト化する」ということは事実と異ならない fact6: もしこの一帯が縺れ合うなら報ずるということはないがしかし暮らし易い fact7: 「なにかは上げ掛けないけど若返る」ということは誤りであるとするとそれは上げ掛ける fact8: どれもこれもは延焼するしリスト化する fact9: この灰白質は春らしくない fact10: もしとある物がリスト化しないとしたらそれは延焼しない ; $hypothesis$ = このステレオ効果は延焼しない ; $proof$ = 
fact8 -> int1: このステレオ効果は延焼するしおまけにリスト化する; int1 -> hypothesis; __DISPROVED__
事実1: もし仮にある物は春らしくないとすると「それは報ずるしかつそれは縺れ合う」ということは成り立たない
事実2: もし仮にこのステレオ効果が春らしいということはないとするとそれはリスト化するしそれは延焼する
事実3: もしもなにがしかの物は暮らし易いとすると「若返らないしおまけにリスト化しない」ということは確かである
事実4: もしこの一帯が報ぜないがしかし暮らし易いとするとこの灰白質は若返らない
事実5: 「このステレオ効果はリスト化する」ということは事実と異ならない
事実6: もしこの一帯が縺れ合うなら報ずるということはないがしかし暮らし易い
事実7: 「なにかは上げ掛けないけど若返る」ということは誤りであるとするとそれは上げ掛ける
事実8: どれもこれもは延焼するしリスト化する
事実9: この灰白質は春らしくない
事実10: もしとある物がリスト化しないとしたらそれは延焼しない

仮説: このステレオ効果は延焼しない
1. 事実8から、推論1: "このステレオ効果は延焼するしおまけにリスト化する"が導かれる
2. 推論1から、仮説が否定される

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