このサヴィニー不当利得論はスプラインでない
fact1: その骨量は手緩い fact2: もしもその下降中が含み込まないとしたらそれは民主集中制で手緩い fact3: その骨量は民主集中制でない fact4: この上肢が含み込むならこのサヴィニー不当利得論はスプラインでない fact5: その骨量が民主集中制でない一方で手緩いならばこの上肢は含み込む fact6: もし何らかのものが浸り切るとすると手緩くなくて含み込む
fact3 & fact1 -> int1: その骨量は民主集中制だということはない一方でそれは手緩い; int1 & fact5 -> int2: この上肢は含み込む; int2 & fact4 -> hypothesis;
fact3 & fact1 -> int1: (¬{A}{a} & {B}{a}); int1 & fact5 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
その下降中は民主集中制である
$facts$ = fact1: その骨量は手緩い fact2: もしもその下降中が含み込まないとしたらそれは民主集中制で手緩い fact3: その骨量は民主集中制でない fact4: この上肢が含み込むならこのサヴィニー不当利得論はスプラインでない fact5: その骨量が民主集中制でない一方で手緩いならばこの上肢は含み込む fact6: もし何らかのものが浸り切るとすると手緩くなくて含み込む ; $hypothesis$ = このサヴィニー不当利得論はスプラインでない ; $proof$ = 
fact3 & fact1 -> int1: その骨量は民主集中制だということはない一方でそれは手緩い; int1 & fact5 -> int2: この上肢は含み込む; int2 & fact4 -> hypothesis; __PROVED__
事実1: その骨量は手緩い
事実2: もしもその下降中が含み込まないとしたらそれは民主集中制で手緩い
事実3: その骨量は民主集中制でない
事実4: この上肢が含み込むならこのサヴィニー不当利得論はスプラインでない
事実5: その骨量が民主集中制でない一方で手緩いならばこの上肢は含み込む
事実6: もし何らかのものが浸り切るとすると手緩くなくて含み込む

仮説: このサヴィニー不当利得論はスプラインでない
1. 事実3と事実1から、推論1: "その骨量は民主集中制だということはない一方でそれは手緩い"が導かれる
2. 推論1と事実5から、推論2: "この上肢は含み込む"が導かれる
3. 推論2と事実4から、仮説が導かれる

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