その分岐指数はかわゆい
fact1: 「この領海は妹部でなくて講ずるということはない」ということは確かでない fact2: もし仮に「この領海は妹部でなくて講ぜない」ということは成り立たないならばその分岐指数は強しない fact3: もしあるものは強しないとすると「それはかわゆいし生る」ということは正しい fact4: もしもその分岐指数が生らないならそれは強しし妹部だ
fact2 & fact1 -> int1: 「その分岐指数は強しない」ということは真実だ; fact3 -> int2: もし仮にその分岐指数が強しないとすればかわゆくてそれは生る; int1 & int2 -> int3: その分岐指数はかわゆくて加えて生る; int3 -> hypothesis;
fact2 & fact1 -> int1: ¬{B}{b}; fact3 -> int2: ¬{B}{b} -> ({A}{b} & {C}{b}); int1 & int2 -> int3: ({A}{b} & {C}{b}); int3 -> hypothesis;
$facts$ = fact1: 「この領海は妹部でなくて講ずるということはない」ということは確かでない fact2: もし仮に「この領海は妹部でなくて講ぜない」ということは成り立たないならばその分岐指数は強しない fact3: もしあるものは強しないとすると「それはかわゆいし生る」ということは正しい fact4: もしもその分岐指数が生らないならそれは強しし妹部だ ; $hypothesis$ = その分岐指数はかわゆい ; $proof$ = 
fact2 & fact1 -> int1: 「その分岐指数は強しない」ということは真実だ; fact3 -> int2: もし仮にその分岐指数が強しないとすればかわゆくてそれは生る; int1 & int2 -> int3: その分岐指数はかわゆくて加えて生る; int3 -> hypothesis; __PROVED__
事実1: 「この領海は妹部でなくて講ずるということはない」ということは確かでない
事実2: もし仮に「この領海は妹部でなくて講ぜない」ということは成り立たないならばその分岐指数は強しない
事実3: もしあるものは強しないとすると「それはかわゆいし生る」ということは正しい
事実4: もしもその分岐指数が生らないならそれは強しし妹部だ

仮説: その分岐指数はかわゆい
1. 事実2と事実1から、推論1: "「その分岐指数は強しない」ということは真実だ"が導かれる
2. 事実3から、推論2: "もし仮にその分岐指数が強しないとすればかわゆくてそれは生る"が導かれる
3. 推論1と推論2から、推論3: "その分岐指数はかわゆくて加えて生る"が導かれる
4. 推論3から、仮説が導かれる

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