あの権利能力は営業する
fact1: その大航海時代は営業する fact2: その大航海時代は宣下でしかもそれは御若い fact3: その大航海時代は営業するけれど骨っぽくない fact4: 「その大航海時代は宣下である」ということは成り立つならあの権利能力は宣下であるがしかし権利推定でない fact5: 仮にその大航海時代は理想通りでないがしかし利用され易いとすれば権利推定であるということはない fact6: あの権利能力は宣下であるが権利推定でないならそれは営業する fact7: あの権利能力は宣下である
fact2 -> int1: その大航海時代は宣下だ; int1 & fact4 -> int2: あの権利能力は宣下である一方で権利推定でない; int2 & fact6 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact4 -> int2: ({A}{b} & ¬{C}{b}); int2 & fact6 -> hypothesis;
あの権利能力は営業しない
$facts$ = fact1: その大航海時代は営業する fact2: その大航海時代は宣下でしかもそれは御若い fact3: その大航海時代は営業するけれど骨っぽくない fact4: 「その大航海時代は宣下である」ということは成り立つならあの権利能力は宣下であるがしかし権利推定でない fact5: 仮にその大航海時代は理想通りでないがしかし利用され易いとすれば権利推定であるということはない fact6: あの権利能力は宣下であるが権利推定でないならそれは営業する fact7: あの権利能力は宣下である ; $hypothesis$ = あの権利能力は営業する ; $proof$ = 
fact2 -> int1: その大航海時代は宣下だ; int1 & fact4 -> int2: あの権利能力は宣下である一方で権利推定でない; int2 & fact6 -> hypothesis; __PROVED__
事実1: その大航海時代は営業する
事実2: その大航海時代は宣下でしかもそれは御若い
事実3: その大航海時代は営業するけれど骨っぽくない
事実4: 「その大航海時代は宣下である」ということは成り立つならあの権利能力は宣下であるがしかし権利推定でない
事実5: 仮にその大航海時代は理想通りでないがしかし利用され易いとすれば権利推定であるということはない
事実6: あの権利能力は宣下であるが権利推定でないならそれは営業する
事実7: あの権利能力は宣下である

仮説: あの権利能力は営業する
1. 事実2から、推論1: "その大航海時代は宣下だ"が導かれる
2. 推論1と事実4から、推論2: "あの権利能力は宣下である一方で権利推定でない"が導かれる
3. 推論2と事実6から、仮説が導かれる

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