その全作品は隠居する
fact1: あらゆるものは隠居するし加えて取り出し易くない
fact1 -> int1: その全作品は隠居するがしかし取り出し易くない; int1 -> hypothesis;
$facts$ = fact1: あらゆるものは隠居するし加えて取り出し易くない ; $hypothesis$ = その全作品は隠居する ; $proof$ = 
fact1 -> int1: その全作品は隠居するがしかし取り出し易くない; int1 -> hypothesis; __PROVED__
事実1: あらゆるものは隠居するし加えて取り出し易くない

仮説: その全作品は隠居する
1. 事実1から、推論1: "その全作品は隠居するがしかし取り出し易くない"が導かれる
2. 推論1から、仮説が導かれる

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