あの文節は撓垂れ掛からなくてそれに迷い難いということはない
fact1: 「三月末日でない一方で逃げ遅れる」ものがあるとすればこの琉球王府は眩い fact2: もしもなんらかのものは三月末日でないとしたら「それは撓垂れ掛からないしそれに迷い難くない」ということは成り立つということはない fact3: 「なにかは眩い」ということは確かだとしたらそれは鮫島・山崎棟でない fact4: あの時価発行増資は三月末日でないが逃げ遅れる fact5: もしもこの琉球王府が鮫島・山崎棟でないとしたらあの文節は撓垂れ掛からないし迷い難くない
fact4 -> int1: なにがしかのものは三月末日でないがしかしそれは逃げ遅れる; int1 & fact1 -> int2: この琉球王府は眩い; fact3 -> int3: 仮にこの琉球王府が眩いならそれは鮫島・山崎棟でない; int2 & int3 -> int4: この琉球王府は鮫島・山崎棟でない; int4 & fact5 -> hypothesis;
「あの文節は撓垂れ掛からないし迷い難くない」ということは成り立たない
fact6 -> int5: 仮にあの文節は三月末日でないならば「撓垂れ掛からなくて迷い難くない」ということは間違いだ;
$facts$ = fact1: 「三月末日でない一方で逃げ遅れる」ものがあるとすればこの琉球王府は眩い fact2: もしもなんらかのものは三月末日でないとしたら「それは撓垂れ掛からないしそれに迷い難くない」ということは成り立つということはない fact3: 「なにかは眩い」ということは確かだとしたらそれは鮫島・山崎棟でない fact4: あの時価発行増資は三月末日でないが逃げ遅れる fact5: もしもこの琉球王府が鮫島・山崎棟でないとしたらあの文節は撓垂れ掛からないし迷い難くない ; $hypothesis$ = あの文節は撓垂れ掛からなくてそれに迷い難いということはない ; $proof$ = 
fact4 -> int1: なにがしかのものは三月末日でないがしかしそれは逃げ遅れる; int1 & fact1 -> int2: この琉球王府は眩い; fact3 -> int3: 仮にこの琉球王府が眩いならそれは鮫島・山崎棟でない; int2 & int3 -> int4: この琉球王府は鮫島・山崎棟でない; int4 & fact5 -> hypothesis; __PROVED__
事実1: 「三月末日でない一方で逃げ遅れる」ものがあるとすればこの琉球王府は眩い
事実2: もしもなんらかのものは三月末日でないとしたら「それは撓垂れ掛からないしそれに迷い難くない」ということは成り立つということはない
事実3: 「なにかは眩い」ということは確かだとしたらそれは鮫島・山崎棟でない
事実4: あの時価発行増資は三月末日でないが逃げ遅れる
事実5: もしもこの琉球王府が鮫島・山崎棟でないとしたらあの文節は撓垂れ掛からないし迷い難くない

仮説: あの文節は撓垂れ掛からなくてそれに迷い難いということはない
1. 事実4から、推論1: "なにがしかのものは三月末日でないがしかしそれは逃げ遅れる"が導かれる
2. 推論1と事実1から、推論2: "この琉球王府は眩い"が導かれる
3. 事実3から、推論3: "仮にこの琉球王府が眩いならそれは鮫島・山崎棟でない"が導かれる
4. 推論2と推論3から、推論4: "この琉球王府は鮫島・山崎棟でない"が導かれる
5. 推論4と事実5から、仮説が導かれる

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