「残り易くないとしたら淀み無くないしその上繰り返せない」物はある
fact1: 「救出作戦でないならば涙脆くない」ものはある fact2: 「「もしも残り易くないとしたら淀み無くないがしかし繰り返せる」ものはある」ということは確かだ fact3: 残り易くない物は淀み無くなくて更に繰り返せない
fact3 -> int1: もしもこのアイラッシュが残り易くないとすれば淀み無いということはないしその上それは繰り返せない; int1 -> hypothesis;
$facts$ = fact1: 「救出作戦でないならば涙脆くない」ものはある fact2: 「「もしも残り易くないとしたら淀み無くないがしかし繰り返せる」ものはある」ということは確かだ fact3: 残り易くない物は淀み無くなくて更に繰り返せない ; $hypothesis$ = 「残り易くないとしたら淀み無くないしその上繰り返せない」物はある ; $proof$ = 
fact3 -> int1: もしもこのアイラッシュが残り易くないとすれば淀み無いということはないしその上それは繰り返せない; int1 -> hypothesis; __PROVED__
事実1: 「救出作戦でないならば涙脆くない」ものはある
事実2: 「「もしも残り易くないとしたら淀み無くないがしかし繰り返せる」ものはある」ということは確かだ
事実3: 残り易くない物は淀み無くなくて更に繰り返せない

仮説: 「残り易くないとしたら淀み無くないしその上繰り返せない」物はある
1. 事実3から、推論1: "もしもこのアイラッシュが残り易くないとすれば淀み無いということはないしその上それは繰り返せない"が導かれる
2. 推論1から、仮説が導かれる

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