その私有財産は帰藩しないし加えて取り消し得ない
fact1: もしこの命綱が取り消し得るということはないとしたらその私有財産は握り易くないしおまけにそれは商品化でない fact2: もしこの命綱が商品化だということはないならばその私有財産は帰藩しないしまたそれは取り消し得ない fact3: その証拠評価は握り易くない fact4: もし「その私有財産は握り易くない」ということは成り立てば「それは帰藩しないしおまけに取り消し得ない」ということは成り立たない fact5: この命綱は握り易い fact6: もしもこの命綱が商品化でないとしたらその私有財産は帰藩しない fact7: 「この命綱は握り易いが商品化でない」ということは成り立つ fact8: その私有財産は帰藩するということはない fact9: もしもこの命綱が通り難くないかもしくはそれは本降りであるとしたら「分業化する」ということは真実である fact10: その私有財産は哲学しない
fact7 -> int1: 「この命綱は商品化である」ということは成り立たない; int1 & fact2 -> hypothesis;
「その私有財産は帰藩するということはなくて取り消し得るということはない」ということは確かでない
$facts$ = fact1: もしこの命綱が取り消し得るということはないとしたらその私有財産は握り易くないしおまけにそれは商品化でない fact2: もしこの命綱が商品化だということはないならばその私有財産は帰藩しないしまたそれは取り消し得ない fact3: その証拠評価は握り易くない fact4: もし「その私有財産は握り易くない」ということは成り立てば「それは帰藩しないしおまけに取り消し得ない」ということは成り立たない fact5: この命綱は握り易い fact6: もしもこの命綱が商品化でないとしたらその私有財産は帰藩しない fact7: 「この命綱は握り易いが商品化でない」ということは成り立つ fact8: その私有財産は帰藩するということはない fact9: もしもこの命綱が通り難くないかもしくはそれは本降りであるとしたら「分業化する」ということは真実である fact10: その私有財産は哲学しない ; $hypothesis$ = その私有財産は帰藩しないし加えて取り消し得ない ; $proof$ = 
fact7 -> int1: 「この命綱は商品化である」ということは成り立たない; int1 & fact2 -> hypothesis; __PROVED__
事実1: もしこの命綱が取り消し得るということはないとしたらその私有財産は握り易くないしおまけにそれは商品化でない
事実2: もしこの命綱が商品化だということはないならばその私有財産は帰藩しないしまたそれは取り消し得ない
事実3: その証拠評価は握り易くない
事実4: もし「その私有財産は握り易くない」ということは成り立てば「それは帰藩しないしおまけに取り消し得ない」ということは成り立たない
事実5: この命綱は握り易い
事実6: もしもこの命綱が商品化でないとしたらその私有財産は帰藩しない
事実7: 「この命綱は握り易いが商品化でない」ということは成り立つ
事実8: その私有財産は帰藩するということはない
事実9: もしもこの命綱が通り難くないかもしくはそれは本降りであるとしたら「分業化する」ということは真実である
事実10: その私有財産は哲学しない

仮説: その私有財産は帰藩しないし加えて取り消し得ない
1. 事実7から、推論1: "「この命綱は商品化である」ということは成り立たない"が導かれる
2. 推論1と事実2から、仮説が導かれる

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