あの飲酒運転は御持ちに成る
fact1: 「相続する」物はある fact2: 「相続する」ものがあるならあの飲酒運転は生かし合う fact3: もしもとあるものが生かし合うとしたら御持ちに成る fact4: もし「この足元空間は生かし合わないか相続するかあるいは両方ともである」ということは真実でないならばあの飲酒運転は御持ちに成らない
fact1 & fact2 -> int1: あの飲酒運転は生かし合う; fact3 -> int2: 仮にあの飲酒運転が生かし合うとすればそれは御持ちに成る; int1 & int2 -> hypothesis;
fact1 & fact2 -> int1: {B}{a}; fact3 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
あの飲酒運転は御持ちに成らない
$facts$ = fact1: 「相続する」物はある fact2: 「相続する」ものがあるならあの飲酒運転は生かし合う fact3: もしもとあるものが生かし合うとしたら御持ちに成る fact4: もし「この足元空間は生かし合わないか相続するかあるいは両方ともである」ということは真実でないならばあの飲酒運転は御持ちに成らない ; $hypothesis$ = あの飲酒運転は御持ちに成る ; $proof$ = 
fact1 & fact2 -> int1: あの飲酒運転は生かし合う; fact3 -> int2: 仮にあの飲酒運転が生かし合うとすればそれは御持ちに成る; int1 & int2 -> hypothesis; __PROVED__
事実1: 「相続する」物はある
事実2: 「相続する」ものがあるならあの飲酒運転は生かし合う
事実3: もしもとあるものが生かし合うとしたら御持ちに成る
事実4: もし「この足元空間は生かし合わないか相続するかあるいは両方ともである」ということは真実でないならばあの飲酒運転は御持ちに成らない

仮説: あの飲酒運転は御持ちに成る
1. 事実1と事実2から、推論1: "あの飲酒運転は生かし合う"が導かれる
2. 事実3から、推論2: "仮にあの飲酒運転が生かし合うとすればそれは御持ちに成る"が導かれる
3. 推論1と推論2から、仮説が導かれる

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