その辻々は心配し過ぎる
fact1: 「その涼しさはフォトだ一方であどけなくない」ということは偽であるとすると無関心さである fact2: この体内動態は低速艦だ fact3: もし仮に「その辻々は低速艦でない」ということは事実と異ならないとするとそれは振り動かす fact4: 「その辻々は誤り無いけれど無関心さでない」ということは間違っている fact5: もしも「その辻々は低速艦であるけれど無関心さでない」ということは成り立たないとすれば吸収され易い fact6: 吸収され易い物は心配し過ぎる fact7: もしもなんらかのものは心配し過ぎるとすると「低速艦だ」ということは本当だ fact8: その辻々は描き続ける fact9: もしもあのスカール殿はフェアであるとしたら「それは笑い飛ばせる」ということは真実である fact10: もし仮にその辻々は描き続けるとすれば「低速艦だしそれは無関心さでない」ということは嘘である fact11: その辻々は漏れ易いなら「それは焦れったい一方で無関心さでない」ということは成り立たない fact12: 「この統合化は描き続けるが見せらない」ということは間違いだ fact13: あの情報処理は無関心さだ fact14: 「その辻々は低速艦であるが御試さない」ということは真実でない
fact10 & fact8 -> int1: 「その辻々は低速艦である一方で無関心さでない」ということは成り立たない; int1 & fact5 -> int2: 「その辻々は吸収され易い」ということは成り立つ; fact6 -> int3: もし仮にその辻々は吸収され易いとしたら「それは心配し過ぎる」ということは事実と異なるということはない; int2 & int3 -> hypothesis;
$facts$ = fact1: 「その涼しさはフォトだ一方であどけなくない」ということは偽であるとすると無関心さである fact2: この体内動態は低速艦だ fact3: もし仮に「その辻々は低速艦でない」ということは事実と異ならないとするとそれは振り動かす fact4: 「その辻々は誤り無いけれど無関心さでない」ということは間違っている fact5: もしも「その辻々は低速艦であるけれど無関心さでない」ということは成り立たないとすれば吸収され易い fact6: 吸収され易い物は心配し過ぎる fact7: もしもなんらかのものは心配し過ぎるとすると「低速艦だ」ということは本当だ fact8: その辻々は描き続ける fact9: もしもあのスカール殿はフェアであるとしたら「それは笑い飛ばせる」ということは真実である fact10: もし仮にその辻々は描き続けるとすれば「低速艦だしそれは無関心さでない」ということは嘘である fact11: その辻々は漏れ易いなら「それは焦れったい一方で無関心さでない」ということは成り立たない fact12: 「この統合化は描き続けるが見せらない」ということは間違いだ fact13: あの情報処理は無関心さだ fact14: 「その辻々は低速艦であるが御試さない」ということは真実でない ; $hypothesis$ = その辻々は心配し過ぎる ; $proof$ = 
fact10 & fact8 -> int1: 「その辻々は低速艦である一方で無関心さでない」ということは成り立たない; int1 & fact5 -> int2: 「その辻々は吸収され易い」ということは成り立つ; fact6 -> int3: もし仮にその辻々は吸収され易いとしたら「それは心配し過ぎる」ということは事実と異なるということはない; int2 & int3 -> hypothesis; __PROVED__
事実1: 「その涼しさはフォトだ一方であどけなくない」ということは偽であるとすると無関心さである
事実2: この体内動態は低速艦だ
事実3: もし仮に「その辻々は低速艦でない」ということは事実と異ならないとするとそれは振り動かす
事実4: 「その辻々は誤り無いけれど無関心さでない」ということは間違っている
事実5: もしも「その辻々は低速艦であるけれど無関心さでない」ということは成り立たないとすれば吸収され易い
事実6: 吸収され易い物は心配し過ぎる
事実7: もしもなんらかのものは心配し過ぎるとすると「低速艦だ」ということは本当だ
事実8: その辻々は描き続ける
事実9: もしもあのスカール殿はフェアであるとしたら「それは笑い飛ばせる」ということは真実である
事実10: もし仮にその辻々は描き続けるとすれば「低速艦だしそれは無関心さでない」ということは嘘である
事実11: その辻々は漏れ易いなら「それは焦れったい一方で無関心さでない」ということは成り立たない
事実12: 「この統合化は描き続けるが見せらない」ということは間違いだ
事実13: あの情報処理は無関心さだ
事実14: 「その辻々は低速艦であるが御試さない」ということは真実でない

仮説: その辻々は心配し過ぎる
1. 事実10と事実8から、推論1: "「その辻々は低速艦である一方で無関心さでない」ということは成り立たない"が導かれる
2. 推論1と事実5から、推論2: "「その辻々は吸収され易い」ということは成り立つ"が導かれる
3. 事実6から、推論3: "もし仮にその辻々は吸収され易いとしたら「それは心配し過ぎる」ということは事実と異なるということはない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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