「この大人用は感慨深くない」ということは真実である
fact1: もしとあるものは逃れないなら「この大人用は心細くないが開始出来る」ということは誤りである fact2: もしなにがしかのものが転化しないとしたらそれは感慨深い fact3: ある物は噴出しなくて更に増え続けない fact4: 心細い物は転化しない fact5: 仮に「とある物は心細くない一方で開始出来る」ということは正しくないとしたらそれは転化しない fact6: 「噴出しない」物はある fact7: もしもこの大人用が心細いとしたら転化しない fact8: もしとある物が噴出しなくてしかも増え続けないとしたらあの臨川寺は逃れない
fact3 & fact8 -> int1: あの臨川寺は逃れない; int1 -> int2: 「逃れない」ものはある; int2 & fact1 -> int3: 「「この大人用は心細くないけど開始出来る」ということは事実と異なる」ということは成り立つ; fact5 -> int4: もし「この大人用は心細くないけど開始出来る」ということは真実でないならそれは転化しない; int3 & int4 -> int5: この大人用は転化しない; fact2 -> int6: この大人用が転化しないならそれは感慨深い; int5 & int6 -> hypothesis;
$facts$ = fact1: もしとあるものは逃れないなら「この大人用は心細くないが開始出来る」ということは誤りである fact2: もしなにがしかのものが転化しないとしたらそれは感慨深い fact3: ある物は噴出しなくて更に増え続けない fact4: 心細い物は転化しない fact5: 仮に「とある物は心細くない一方で開始出来る」ということは正しくないとしたらそれは転化しない fact6: 「噴出しない」物はある fact7: もしもこの大人用が心細いとしたら転化しない fact8: もしとある物が噴出しなくてしかも増え続けないとしたらあの臨川寺は逃れない ; $hypothesis$ = 「この大人用は感慨深くない」ということは真実である ; $proof$ = 
fact3 & fact8 -> int1: あの臨川寺は逃れない; int1 -> int2: 「逃れない」ものはある; int2 & fact1 -> int3: 「「この大人用は心細くないけど開始出来る」ということは事実と異なる」ということは成り立つ; fact5 -> int4: もし「この大人用は心細くないけど開始出来る」ということは真実でないならそれは転化しない; int3 & int4 -> int5: この大人用は転化しない; fact2 -> int6: この大人用が転化しないならそれは感慨深い; int5 & int6 -> hypothesis; __DISPROVED__
事実1: もしとあるものは逃れないなら「この大人用は心細くないが開始出来る」ということは誤りである
事実2: もしなにがしかのものが転化しないとしたらそれは感慨深い
事実3: ある物は噴出しなくて更に増え続けない
事実4: 心細い物は転化しない
事実5: 仮に「とある物は心細くない一方で開始出来る」ということは正しくないとしたらそれは転化しない
事実6: 「噴出しない」物はある
事実7: もしもこの大人用が心細いとしたら転化しない
事実8: もしとある物が噴出しなくてしかも増え続けないとしたらあの臨川寺は逃れない

仮説: 「この大人用は感慨深くない」ということは真実である
1. 事実3と事実8から、推論1: "あの臨川寺は逃れない"が導かれる
2. 推論1から、推論2: "「逃れない」ものはある"が導かれる
3. 推論2と事実1から、推論3: "「「この大人用は心細くないけど開始出来る」ということは事実と異なる」ということは成り立つ"が導かれる
4. 事実5から、推論4: "もし「この大人用は心細くないけど開始出来る」ということは真実でないならそれは転化しない"が導かれる
5. 推論3と推論4から、推論5: "この大人用は転化しない"が導かれる
6. 事実2から、推論6: "この大人用が転化しないならそれは感慨深い"が導かれる
7. 推論5と推論6から、仮説が否定される

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