もしもその更生担保権は入門しないとすれば「それは分解され難くないけど入手である」ということは成り立たない
fact1: 仮に何かは入門しないならば分解され難くない入手だ fact2: もしなにがしかのものは入門しないとすれば「それは分解され難くて入手である」ということは成り立つということはない fact3: もしもなにがしかの物は入門しないとしたら「それは分解され難いということはなくてそれに入手だ」ということは成り立たない fact4: 仮にその更生担保権は入門するとしたら「それは分解され難いということはないし入手だ」ということは偽である fact5: もしその更生担保権は入門しないなら「それは分解され難いししかも入手である」ということは偽だ
fact3 -> hypothesis;
fact3 -> hypothesis;
$facts$ = fact1: 仮に何かは入門しないならば分解され難くない入手だ fact2: もしなにがしかのものは入門しないとすれば「それは分解され難くて入手である」ということは成り立つということはない fact3: もしもなにがしかの物は入門しないとしたら「それは分解され難いということはなくてそれに入手だ」ということは成り立たない fact4: 仮にその更生担保権は入門するとしたら「それは分解され難いということはないし入手だ」ということは偽である fact5: もしその更生担保権は入門しないなら「それは分解され難いししかも入手である」ということは偽だ ; $hypothesis$ = もしもその更生担保権は入門しないとすれば「それは分解され難くないけど入手である」ということは成り立たない ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮に何かは入門しないならば分解され難くない入手だ
事実2: もしなにがしかのものは入門しないとすれば「それは分解され難くて入手である」ということは成り立つということはない
事実3: もしもなにがしかの物は入門しないとしたら「それは分解され難いということはなくてそれに入手だ」ということは成り立たない
事実4: 仮にその更生担保権は入門するとしたら「それは分解され難いということはないし入手だ」ということは偽である
事実5: もしその更生担保権は入門しないなら「それは分解され難いししかも入手である」ということは偽だ

仮説: もしもその更生担保権は入門しないとすれば「それは分解され難くないけど入手である」ということは成り立たない
1. 事実3から、仮説が導かれる

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