「その有り金は押し戻す」ということは成り立つ
fact1: 「育て易い」物はある fact2: 目の当たりはある fact3: 育て易くない物は空々しいけれど押し戻さない fact4: 「「捩じ切る」ということは間違っていない」ものはある fact5: 「「育て易い」ということは正しい」ものがあるならその有り金は押し戻す fact6: 仮にその死亡時期が空々しいけれどそれが押し戻さないならその有り金は押し戻さない
fact1 & fact5 -> hypothesis;
fact1 & fact5 -> hypothesis;
その有り金は押し戻さない
fact8 -> int1: もしその死亡時期が育て易くないとすれば空々しいけれど押し戻さない;
$facts$ = fact1: 「育て易い」物はある fact2: 目の当たりはある fact3: 育て易くない物は空々しいけれど押し戻さない fact4: 「「捩じ切る」ということは間違っていない」ものはある fact5: 「「育て易い」ということは正しい」ものがあるならその有り金は押し戻す fact6: 仮にその死亡時期が空々しいけれどそれが押し戻さないならその有り金は押し戻さない ; $hypothesis$ = 「その有り金は押し戻す」ということは成り立つ ; $proof$ = 
fact1 & fact5 -> hypothesis; __PROVED__
事実1: 「育て易い」物はある
事実2: 目の当たりはある
事実3: 育て易くない物は空々しいけれど押し戻さない
事実4: 「「捩じ切る」ということは間違っていない」ものはある
事実5: 「「育て易い」ということは正しい」ものがあるならその有り金は押し戻す
事実6: 仮にその死亡時期が空々しいけれどそれが押し戻さないならその有り金は押し戻さない

仮説: 「その有り金は押し戻す」ということは成り立つ
1. 事実1と事実5から、仮説が導かれる

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