もし仮にこの老少善悪は両断するとすれば「それはし難いかそれは薬理でない」ということは間違っている
fact1: もしこの老少善悪は両断するとすれば「「合筆登記であるかそれは累積損失であるかあるいは両方ともである」ということは成り立つ」ということは成り立たない fact2: もし仮になにがしかのものは両断すれば「し難いか薬理でないかあるいは両方だ」ということは偽である
fact2 -> hypothesis;
fact2 -> hypothesis;
$facts$ = fact1: もしこの老少善悪は両断するとすれば「「合筆登記であるかそれは累積損失であるかあるいは両方ともである」ということは成り立つ」ということは成り立たない fact2: もし仮になにがしかのものは両断すれば「し難いか薬理でないかあるいは両方だ」ということは偽である ; $hypothesis$ = もし仮にこの老少善悪は両断するとすれば「それはし難いかそれは薬理でない」ということは間違っている ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: もしこの老少善悪は両断するとすれば「「合筆登記であるかそれは累積損失であるかあるいは両方ともである」ということは成り立つ」ということは成り立たない
事実2: もし仮になにがしかのものは両断すれば「し難いか薬理でないかあるいは両方だ」ということは偽である

仮説: もし仮にこの老少善悪は両断するとすれば「それはし難いかそれは薬理でない」ということは間違っている
1. 事実2から、仮説が導かれる

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